Generated on Fri Jan 10 2020 11:38:25 for Gecode by doxygen 1.8.16

Boolean expressions can be freely composed of variables with the usual connectives and reified linear expressions. More...

Boolean expressions can be freely composed of variables with the usual connectives and reified linear expressions.