constraint_solver library

Classes

Constraint<V, D>

A constraint has a list of variables it constrains and a method that checks whether it is satisfied.

CSP<V, D>

An instance of a constraint satisfaction problem.