binary_equals

pumpkin_solver::constraints

Function binary_equals 

Source 
pub fn binary_equals<Var>(
    lhs: Var,
    rhs: Var,
    constraint_tag: ConstraintTag,
) -> impl NegatableConstraint
where
    Var: IntegerVariable + 'static,
Expand description

Creates the NegatableConstraint lhs = rhs.

Its negation is binary_not_equals.