dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / arg-reif-float.mzn
at develop 161 B view raw
1 2var 1..3: a; 3 4predicate test_pred(1.0..10.0: x, var int: y) = y = 3; 5 6constraint test_pred(11.0, a) == false; 7 8solve satisfy; 9 10output ["a = ", show(a), ";\n"];