Open ChrisJefferson opened 6 months ago
Put the following in test.essence
test.essence
language Essence 1.0 find x : int(1..10) find y : int(1..10) such that x + y = 8
run: conjure solve --number-of-solutions=all test.essence
conjure solve --number-of-solutions=all test.essence
See you get 7 solutions.
run rm *.solution, to clear out the solutions, and edit the constraint to x+y=3.
rm *.solution
x+y=3
Now again run conjure solve --number-of-solutions=all test.essence
We get again 7 solutions. The first 2 are the "true" solutions, the next 5 are solutions 3 to 7 from when x+y=8.
x+y=8
Put the following in
test.essencerun:
conjure solve --number-of-solutions=all test.essenceSee you get 7 solutions.
run
rm *.solution, to clear out the solutions, and edit the constraint tox+y=3.Now again run
conjure solve --number-of-solutions=all test.essenceWe get again 7 solutions. The first 2 are the "true" solutions, the next 5 are solutions 3 to 7 from when
x+y=8.