dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / en / examples / aust-enum.mzn
at develop 257 B view raw
1enum Color; 2var Color: wa; 3var Color: nt; 4var Color: sa; 5var Color: q; 6var Color: nsw; 7var Color: v; 8var Color: t; 9constraint wa != nt /\ wa != sa /\ nt != sa /\ nt != q /\ sa != q; 10constraint sa != nsw /\ sa != v /\ q != nsw /\ nsw != v; 11solve satisfy;