dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / es / examples / reflection_es.mzn
at develop 145 B view raw
1var -10..10: x; 2constraint x in 0..4; 3int: y = lb(x); 4set of int: D = dom(x); 5solve satisfy; 6output ["y = ", show(y), "\n D = ", show(D), "\n"];