Satisfaction

A library for solving Constraint Satisfaction Problems