mad-props-0.2.1.0: Monadic DSL for building constraint solvers using basic propagators.

Signatures

Modules

• Examples
  Submodules

  • 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.
  Submodules

  • Internal
    Submodules

    • Props.Internal.Backtracking
    • Props.Internal.Graph
    • Props.Internal.Links
    • Props.Internal.MinTracker
    • Props.Internal.PropT
    • Props.Internal.Props