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