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)]