pub fn equals<Var>(
terms: impl Into<Box<[Var]>>,
rhs: i32,
constraint_tag: ConstraintTag,
) -> impl NegatableConstraintwhere
Var: IntegerVariable + Clone + 'static,Expand description
Creates the NegatableConstraint ∑ terms_i = rhs.
Its negation is not_equals.