dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / par_opt_equal.mzn
at develop 242 B view raw
1/*** 2!Test 3expected: !Result 4 solution: !Solution 5 a: true 6 b: false 7 c: true 8***/ 9 10opt bool: x = <>; 11opt bool: y = <>; 12 13bool: a :: add_to_output = (x == y); 14bool: b :: add_to_output = (x != y); 15bool: c :: add_to_output = (x == <>);