Fraction reduction: Difference between revisions

===The Model===

<lang MiniZinc>

include "alldifferent.mzn"; include "member.mzn";

int: S;