holmes (hackage): A reference library for constraint-solving with propagators and CDCL.
Keywords: data|library|mit|backtracking|constraint-solver|logic-programming|propagation