Skip to main content

all_different

pumpkin_solver

Function all_different 

Source 
pub fn all_different<Var>(
    variables: impl Into<Box<[Var]>>,
    constraint_tag: ConstraintTag,
) -> impl Constraint
where
    Var: IntegerVariable + 'static,
Expand description

Creates the Constraint that enforces that all the given variables are distinct.