@hackage holmes0.3.2.0

Tools and combinators for solving constraint problems.

A reference library for constraint-solving with propagators and CDCL.