Skip to content

Commit

Permalink
Fix broken test
Browse files Browse the repository at this point in the history
  • Loading branch information
@ChrisJefferson
ChrisJefferson committed Mar 19, 2024
1 parent 8d5d53a commit 62a3adf
Show file tree
Hide file tree
Showing 3 changed files with 105 additions and 11 deletions.
4 changes: 2 additions & 2 deletions ...utations/18_transform_matrix/enum/0040_find_permutation_find_matrices/permutation.essence
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
letting n be new type enum {e_5,e_6,e_7,e_8}

find p : permutation (size 3) of n
find s : matrix indexed by [int(1..4)] of n
find t : matrix indexed by [int(1..4)] of n
find s : matrix indexed by [int(1..2)] of n
find t : matrix indexed by [int(1..2)] of n


such that t = transform(p,s) /\ allDiff(s)
Expand Down
6 changes: 3 additions & 3 deletions ...s/custom/permutations/18_transform_matrix/enum/0040_find_permutation_find_matrices/run.sh
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
conjure solve *.essence
cat conjure-output/*.solution
rm -rf conjure-output *.solution
conjure solve --number-of-solutions=all --solutions-in-one-file --output-format=jsonstream *.essence
cat *.json | LC_ALL=C sort
rm -rf conjure-output *solutions*
106 changes: 100 additions & 6 deletions ...permutations/18_transform_matrix/enum/0040_find_permutation_find_matrices/stdout.expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,103 @@ Generating models for permutation.essence
Generated models: model000001.eprime
Saved under: conjure-output
Savile Row: model000001.eprime
Copying solution to: permutation.solution
language Essence 1.3

letting p be permutation((e_6, e_7, e_8))
letting s be [e_5, e_6, e_7, e_8; int(1..4)]
letting t be [e_5, e_7, e_8, e_6; int(1..4)]
Running minion for domain filtering.
Running solver: minion
Copying solution to: permutation.solutions
Copying solution to: permutation.solutions.json
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_5", "2": "e_6"}, "t": {"1": "e_6", "2": "e_7"}}
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_5", "2": "e_7"}, "t": {"1": "e_6", "2": "e_5"}}
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_5", "2": "e_8"}, "t": {"1": "e_6", "2": "e_8"}}
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_6", "2": "e_5"}, "t": {"1": "e_7", "2": "e_6"}}
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_6", "2": "e_7"}, "t": {"1": "e_7", "2": "e_5"}}
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_6", "2": "e_8"}, "t": {"1": "e_7", "2": "e_8"}}
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_7", "2": "e_5"}, "t": {"1": "e_5", "2": "e_6"}}
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_7", "2": "e_6"}, "t": {"1": "e_5", "2": "e_7"}}
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_7", "2": "e_8"}, "t": {"1": "e_5", "2": "e_8"}}
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_8", "2": "e_5"}, "t": {"1": "e_8", "2": "e_6"}}
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_8", "2": "e_6"}, "t": {"1": "e_8", "2": "e_7"}}
{"p": [["e_5", "e_6", "e_7"]], "s": {"1": "e_8", "2": "e_7"}, "t": {"1": "e_8", "2": "e_5"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_5", "2": "e_6"}, "t": {"1": "e_6", "2": "e_8"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_5", "2": "e_7"}, "t": {"1": "e_6", "2": "e_7"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_5", "2": "e_8"}, "t": {"1": "e_6", "2": "e_5"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_6", "2": "e_5"}, "t": {"1": "e_8", "2": "e_6"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_6", "2": "e_7"}, "t": {"1": "e_8", "2": "e_7"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_6", "2": "e_8"}, "t": {"1": "e_8", "2": "e_5"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_7", "2": "e_5"}, "t": {"1": "e_7", "2": "e_6"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_7", "2": "e_6"}, "t": {"1": "e_7", "2": "e_8"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_7", "2": "e_8"}, "t": {"1": "e_7", "2": "e_5"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_8", "2": "e_5"}, "t": {"1": "e_5", "2": "e_6"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_8", "2": "e_6"}, "t": {"1": "e_5", "2": "e_8"}}
{"p": [["e_5", "e_6", "e_8"]], "s": {"1": "e_8", "2": "e_7"}, "t": {"1": "e_5", "2": "e_7"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_5", "2": "e_6"}, "t": {"1": "e_7", "2": "e_5"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_5", "2": "e_7"}, "t": {"1": "e_7", "2": "e_6"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_5", "2": "e_8"}, "t": {"1": "e_7", "2": "e_8"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_6", "2": "e_5"}, "t": {"1": "e_5", "2": "e_7"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_6", "2": "e_7"}, "t": {"1": "e_5", "2": "e_6"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_6", "2": "e_8"}, "t": {"1": "e_5", "2": "e_8"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_7", "2": "e_5"}, "t": {"1": "e_6", "2": "e_7"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_7", "2": "e_6"}, "t": {"1": "e_6", "2": "e_5"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_7", "2": "e_8"}, "t": {"1": "e_6", "2": "e_8"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_8", "2": "e_5"}, "t": {"1": "e_8", "2": "e_7"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_8", "2": "e_6"}, "t": {"1": "e_8", "2": "e_5"}}
{"p": [["e_5", "e_7", "e_6"]], "s": {"1": "e_8", "2": "e_7"}, "t": {"1": "e_8", "2": "e_6"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_5", "2": "e_6"}, "t": {"1": "e_7", "2": "e_6"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_5", "2": "e_7"}, "t": {"1": "e_7", "2": "e_8"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_5", "2": "e_8"}, "t": {"1": "e_7", "2": "e_5"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_6", "2": "e_5"}, "t": {"1": "e_6", "2": "e_7"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_6", "2": "e_7"}, "t": {"1": "e_6", "2": "e_8"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_6", "2": "e_8"}, "t": {"1": "e_6", "2": "e_5"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_7", "2": "e_5"}, "t": {"1": "e_8", "2": "e_7"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_7", "2": "e_6"}, "t": {"1": "e_8", "2": "e_6"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_7", "2": "e_8"}, "t": {"1": "e_8", "2": "e_5"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_8", "2": "e_5"}, "t": {"1": "e_5", "2": "e_7"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_8", "2": "e_6"}, "t": {"1": "e_5", "2": "e_6"}}
{"p": [["e_5", "e_7", "e_8"]], "s": {"1": "e_8", "2": "e_7"}, "t": {"1": "e_5", "2": "e_8"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_5", "2": "e_6"}, "t": {"1": "e_8", "2": "e_5"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_5", "2": "e_7"}, "t": {"1": "e_8", "2": "e_7"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_5", "2": "e_8"}, "t": {"1": "e_8", "2": "e_6"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_6", "2": "e_5"}, "t": {"1": "e_5", "2": "e_8"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_6", "2": "e_7"}, "t": {"1": "e_5", "2": "e_7"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_6", "2": "e_8"}, "t": {"1": "e_5", "2": "e_6"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_7", "2": "e_5"}, "t": {"1": "e_7", "2": "e_8"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_7", "2": "e_6"}, "t": {"1": "e_7", "2": "e_5"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_7", "2": "e_8"}, "t": {"1": "e_7", "2": "e_6"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_8", "2": "e_5"}, "t": {"1": "e_6", "2": "e_8"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_8", "2": "e_6"}, "t": {"1": "e_6", "2": "e_5"}}
{"p": [["e_5", "e_8", "e_6"]], "s": {"1": "e_8", "2": "e_7"}, "t": {"1": "e_6", "2": "e_7"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_5", "2": "e_6"}, "t": {"1": "e_8", "2": "e_6"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_5", "2": "e_7"}, "t": {"1": "e_8", "2": "e_5"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_5", "2": "e_8"}, "t": {"1": "e_8", "2": "e_7"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_6", "2": "e_5"}, "t": {"1": "e_6", "2": "e_8"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_6", "2": "e_7"}, "t": {"1": "e_6", "2": "e_5"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_6", "2": "e_8"}, "t": {"1": "e_6", "2": "e_7"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_7", "2": "e_5"}, "t": {"1": "e_5", "2": "e_8"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_7", "2": "e_6"}, "t": {"1": "e_5", "2": "e_6"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_7", "2": "e_8"}, "t": {"1": "e_5", "2": "e_7"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_8", "2": "e_5"}, "t": {"1": "e_7", "2": "e_8"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_8", "2": "e_6"}, "t": {"1": "e_7", "2": "e_6"}}
{"p": [["e_5", "e_8", "e_7"]], "s": {"1": "e_8", "2": "e_7"}, "t": {"1": "e_7", "2": "e_5"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_5", "2": "e_6"}, "t": {"1": "e_5", "2": "e_7"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_5", "2": "e_7"}, "t": {"1": "e_5", "2": "e_8"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_5", "2": "e_8"}, "t": {"1": "e_5", "2": "e_6"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_6", "2": "e_5"}, "t": {"1": "e_7", "2": "e_5"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_6", "2": "e_7"}, "t": {"1": "e_7", "2": "e_8"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_6", "2": "e_8"}, "t": {"1": "e_7", "2": "e_6"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_7", "2": "e_5"}, "t": {"1": "e_8", "2": "e_5"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_7", "2": "e_6"}, "t": {"1": "e_8", "2": "e_7"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_7", "2": "e_8"}, "t": {"1": "e_8", "2": "e_6"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_8", "2": "e_5"}, "t": {"1": "e_6", "2": "e_5"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_8", "2": "e_6"}, "t": {"1": "e_6", "2": "e_7"}}
{"p": [["e_6", "e_7", "e_8"]], "s": {"1": "e_8", "2": "e_7"}, "t": {"1": "e_6", "2": "e_8"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_5", "2": "e_6"}, "t": {"1": "e_5", "2": "e_8"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_5", "2": "e_7"}, "t": {"1": "e_5", "2": "e_6"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_5", "2": "e_8"}, "t": {"1": "e_5", "2": "e_7"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_6", "2": "e_5"}, "t": {"1": "e_8", "2": "e_5"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_6", "2": "e_7"}, "t": {"1": "e_8", "2": "e_6"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_6", "2": "e_8"}, "t": {"1": "e_8", "2": "e_7"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_7", "2": "e_5"}, "t": {"1": "e_6", "2": "e_5"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_7", "2": "e_6"}, "t": {"1": "e_6", "2": "e_8"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_7", "2": "e_8"}, "t": {"1": "e_6", "2": "e_7"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_8", "2": "e_5"}, "t": {"1": "e_7", "2": "e_5"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_8", "2": "e_6"}, "t": {"1": "e_7", "2": "e_8"}}
{"p": [["e_6", "e_8", "e_7"]], "s": {"1": "e_8", "2": "e_7"}, "t": {"1": "e_7", "2": "e_6"}}

0 comments on commit 62a3adf

Please sign in to comment.