Skip to main content

absolute

pumpkin_solver

Function absolute 

Source 
pub fn absolute(
    signed: impl IntegerVariable + 'static,
    absolute: impl IntegerVariable + 'static,
    constraint_tag: ConstraintTag,
) -> impl Constraint
Expand description

Creates the Constraint |signed| = absolute.