this repo has no description
dekker.one
1include "alldifferent_except.mzn";
2
3enum Flatmates = { Anne, Bert, Ceci, Dave };
4enum Chores = { Cooking, Vacuuming, Bathroom, Kitchen, Rubbish };
5
6enum ChoreOrNothing = C(Chores) ++ { Nothing };
7
8array[Flatmates] of var ChoreOrNothing: assignment;
9
10constraint alldifferent_except(assignment, {Nothing});
11
12output [ show(f)++":\t"++
13 if fix(assignment[f])=Nothing then "Nothing\n"
14 else show(C^-1(assignment[f]))++"\n" endif
15 | f in Flatmates];