[ library(ic) | Reference Manual | Alphabetic Index ]
# ?BoolExprX or ?BoolExprY

At least one of the constraints BoolExprX or BoolExprY must be true.
*BoolExprX*
- 0/1-valued expression, such as reified constraint
*BoolExprY*
- 0/1-valued expression, such as reified constraint

## 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, neg / 2, and / 2, and / 3, => / 2, => / 3