dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / chi / examples / dummy.mzn
at develop 45 B view raw
1% Just an example 2var int: x; 3solve satisfy;