A module for efficiently solving CSPs (Constraint Solving Problems) over finite domains.
There are no labels for this package.
