Skip to main content

division

pumpkin_solver

Function division 

Source 
pub fn division(
    numerator: impl IntegerVariable + 'static,
    denominator: impl IntegerVariable + 'static,
    rhs: impl IntegerVariable + 'static,
    constraint_tag: ConstraintTag,
) -> impl Constraint
Expand description

Creates the Constraint numerator / denominator = rhs.

Note that this Constraint models truncating division (i.e. rounding towards 0).

The denominator should not contain the value 0 in its domain; if this is the case then the solver will panic.