dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / es / examples / linear_es.mzn
at develop 131 B view raw
1int: d = -1; 2var 0..10: x; 3var -3..6: y; 4var 3..8: z; 5constraint 3 * x - y + x * z <= 19 + d * (x + y + z) - 4 * d; 6solve satisfy;