abs(v) (absolute value) where output and v are IntVar
left / right where left, right, and output are IntVar
left - right where left, right, and output are IntVar
prod(vars)
left * right where left, right, and output are IntVar
prod(i in cond) vars(i) This invariant might modify vars array by cloning some variables to ensure that each variable only appears once.
sum(vars)
left + right where left, right, and output are IntVar
sum(i in cond) vars(i) This invariant might modify vars array by cloning some variables to ensure that each variable only appears once.
This package includes a set of numeric invariants, mostly sums and other arithmetic invariants. It also features a set of operators that can be used for easy writing of expressions in Invariants.Library.Numeric.Implicits