v2.10.0

New features

• ReifiedConstraint (b <-> body): indicator variable is true exactly when the body constraint is satisfied. When the body is a UnaryConstraint, decomposes to a BinaryReifiedUnaryConstraint enabling AC3 arc propagation between the indicator and the body's variable
• ImplicationConstraint (b -> body): when the indicator is true the body must hold; false is unconstrained. Useful for activation patterns and soft constraints
• BinaryReifiedUnaryConstraint: binary form of b <-> unary(x) used by ReifiedConstraint for AC3 propagation
• Builder methods: csp.reifyConstraint(b, constraint) and csp.impliesConstraint(b, constraint)