Sentient Lang.

Multiple solutions

We can instruct Sentient to find multiple solutions for this program with the ‘–number’ option. Try running Sentient like so:

sentient ten.snt --number 3

You should see the following output:


Each solution appears on a new line as JSON. These solutions appear in no particular order. You can also instruct Sentient to run exhaustively until it’s found all solutions:

sentient ten.snt --number 0

When you do this, the last line contains ‘{}’. This indicates that there are no more solutions. You’d get the same result if you ran the program with ‘–number 999’.