MattSortsThings 

Model a logic problem as a binary constraint satisfaction problem (binary CSP). Choose a backtracking search algorithm. Watch the binary CSP get solved. Included problem types: Futoshiki, Graph Colouring, Map... More information