Demo -package:generics-sop

The demo command lists and plays small hledger demos in the terminal, using asciinema.

Run the query. We have:

>>> demo
Starting the all-sat engine!
Iteration: 1
Current solution is: (0,10)
Iteration: 2
Current solution is: (1,9)
Iteration: 3
Current solution is: (2,8)
Iteration: 4
Current solution is: (3,7)
Iteration: 5
Current solution is: (4,6)
Iteration: 6
Current solution is: (5,5)
Iteration: 7
Current solution is: (6,4)
Iteration: 8
Current solution is: (7,3)
Iteration: 9
Current solution is: (8,2)
Iteration: 10
Current solution is: (9,1)
Iteration: 11
Current solution is: (10,0)
Iteration: 12
No other solution!
[(0,10),(1,9),(2,8),(3,7),(4,6),(5,5),(6,4),(7,3),(8,2),(9,1),(10,0)]

Run the demo several times to see that the children threads will change ordering.

The demo command.

Run all of the demos in sequence.

The class of types that can be used to model Quantitys that are certain to have a value with some dimension.