dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / alldifferent.mzn
at develop 163 B view raw
1% The actual definitions are in all_different.mzn. 2% This file is used to handle the case where users include 3% "alldifferent.mzn"; 4% 5include "all_different.mzn";