Generated on Thu Jul 7 2022 10:56:35 for Gecode by doxygen 1.8.20
Boolean expressions
Functionality by programming task » Programming models » Direct modeling support

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