binary_not_equals

pumpkin_solver::constraints

Function binary_not_equals 

Source 
pub fn binary_not_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_equals.