dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / chi / examples / linear.mzn
at develop 134 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;