dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / var_opt_unconstrained.mzn
at develop 224 B view raw
1/*** 2!Test 3solvers: [gecode, chuffed] 4options: 5 all_solutions: true 6expected: !Result 7 status: ALL_SOLUTIONS 8 solution: !SolutionSet 9 - !Solution 10 x: null 11 - !Solution 12 x: 1 13***/ 14 15var opt 1..1: x; 16 17solve satisfy;