plus

pumpkin_solver::constraints

Function plus 

Source 
pub fn plus<Var>(
    a: Var,
    b: Var,
    c: Var,
    constraint_tag: ConstraintTag,
) -> impl Constraint
where
    Var: IntegerVariable + 'static,
Expand description

Creates the Constraint a + b = c.