csp (hackage): Constraint satisfaction problem (CSP) solvers
Keywords: ai|constraints|control|failure|library|monads