mad-props-0.2.1.0: Monadic DSL for building constraint solvers using basic propagators.
Please see the README on GitHub at https://github.com/ChrisPenner/mad-props#readme
- Examples
- Examples.NQueens An implementation of the classic N-Queens constraint puzzle.
- Examples.Sudoku A simple sudoku solver
- Props Monadic DSL for building constraint solvers using basic propagators.