dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / redefinitions.mzn
at develop 93 B view raw
1% This file contains redefinitions of standard builtins that can be overridden 2% by solvers.