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