dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / fzn_piecewise_linear_reif.mzn
at develop 348 B view raw
1predicate fzn_piecewise_linear_reif(var float: x, var float: y, 2 array[int] of float: xi, array[int] of float: vi, 3 var bool: b) = 4 abort("Reified piecewise_linear constraint is not supported"); 5 6%-----------------------------------------------------------------------------%