dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / es / examples / scope_es.mzn
at develop 188 B view raw
1int: x = 3; 2int: y = 4; 3predicate smallx(var int:y) = -x <= y /\ y <= x; 4predicate p(int: u, var bool: y) = 5 exists(x in 1..u)(y \/ smallx(x)); 6constraint p(x,false); 7solve satisfy;