
?BoolExprX or ?BoolExprY

   At least one of the constraints BoolExprX or BoolExprY must be true.

Arguments
   BoolExprX           0/1-valued expression, such as reified constraint
   BoolExprY           0/1-valued expression, such as reified constraint

Type
   library(ic)

Description

   Equivalent to  BX #= BoolExprX, BY #= BoolExprY, BX+BY #> 0.
   
   If BoolExprX and BoolExprY are constraints that have a corresponding
   reified form, the entailment of at least one of them is enforced.


See Also
   or / 3, neg / 1, and / 2, => / 2, <=> / 2
