minimum

pumpkin_solver::constraints

Function minimum 

Source 
pub fn minimum<Var>(
    array: impl IntoIterator<Item = Var>,
    rhs: impl IntegerVariable + 'static,
    constraint_tag: ConstraintTag,
) -> impl Constraint
where
    Var: IntegerVariable + 'static,
Expand description

Creates the Constraint min(array) = m.