dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / bug_r7995.err_exp.lp
at develop 176 B view raw
1ILOG CPLEX 10.000, licensed to "nvl-australia", options: e m b q use=10 2flatzinc: error: the built-in operation `array_bool_and/2' is not supported by the MIP solver backend.