Module constraint

Expand description

Constraint trait, and some common constraints.

Note that all puzzle states visited during the solution search share the same set of constraint objects. This means that you cannot store additional information about the state (e.g. caches) in the constraint to reuse later.