pub fn max(z: ArithExpr, args: impl IntoIterator<Item = ArithExpr>) -> BoolExprExpand description
Constrains z to be the maximum of a non-empty set of arithmetic values.
pub fn max(z: ArithExpr, args: impl IntoIterator<Item = ArithExpr>) -> BoolExprConstrains z to be the maximum of a non-empty set of arithmetic values.