dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / test_bug67.mzn
at develop 148 B view raw
1/*** 2!Test 3expected: !Error 4 type: MiniZincError 5***/ 6 7predicate foo(var int: x); 8var int: x; 9var bool: b; 10constraint b <-> foo(x); 11solve satisfy;