Propagator-based Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
Latest commits.
Builders behind this project.
