Michael Marte
Michael Marte
The library has two models for the Capacitated Vehicle Routing Problem: A MIP model in `vrp` and a CP model in `cvrp`. Both directories contain instances but the instances in...
I wrapped redundant constraints with redundant_constraint/1 and symmetry_breaking_constraint/1, respectively, where such an "annotation" was missing. I considered all constraints with a comment mentioning "symmetry", "symmetric", "symmetries", "redundant", or "implied". I...
The flattening of count_{leq, lt, geq, gt} is broken. For example: ``` include "count.mzn"; array [1..3] of var 1..10: x; var 1..10: y; var 1..3: c; constraint count(x, y) =...
It seems that the MiniZinc Handbook does not explain type variables like `$T` and `$$E`. They just pop up in the text without discussion and even the reference part does...
The Yuck MiniZinc binding overrides `global_cardinality_closed_fn`, `global_cardinality_fn`, and `bin_packing_load_fn`. Now, when a model imports `globals.mzn`, the MiniZinc compiler issues the following warnings: ``` Warning: included file "global_cardinality_closed_fn.mzn" overrides a global...
This is a follow-up to #563 . I ran ``` minizinc -c rel2onto.mzn 3_9.dzn ``` 10 times on Linux and I obtained 10 different FlatZinc outputs. (The diffs are too...
This is a follow-up to #563 . I ran ``` minizinc -c rcpsp-wet-diverse.mzn j30_27_5-wet-diverse-3.dzn ``` 10 times on Linux and I obtained two different FlatZinc outputs. (The diff is too...
`oocsp_racks` was used as a benchmark in the 2016 and 2018 MiniZinc challenges. As I am experimenting with redefining the various `fzn_if_then_else` predicates, `oocsp_racks.mzn` is of interest because it contains...
To speed up Yuck performance a bit, I redefined `array_var_{bool, int, float, set}_element_nonshifted` (in `redefinitions-2.0.2.mzn`) as follows: ``` predicate yuck_array_var_bool_element(int: idxBase, var int: idx, array [int] of var bool: x,...