Generated on for Gecode by doxygen 1.15.0
Minimal modelling constraints (Boolean constraints)