dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / int_times.mzn
at develop 158 B view raw
1/*** 2!Test 3expected: 4- !Result 5 solution: !Solution 6 x: 1 7***/ 8 9% Used to give UNSATISFIABLE 10 11var {1}: x; 12 13constraint int_times(1, 1, x); 14 15solve satisfy;