Conjure outputting solutions to previous problems

[ChrisJefferson]

Put the following in 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

See you get 7 solutions.

run rm *.solution, to clear out the solutions, and edit the constraint to 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.