binary_less_than

pumpkin_solver::constraints

Function binary_less_than 

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

Creates the NegatableConstraint lhs < rhs.

Its negation is lhs >= rhs.