Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool