Elias Keis

Array constrained to constants but declared as unbound not solvable with CBC

2

This probably is related to #404 and [chuffed/chuffed#72](https://github.com/chuffed/chuffed/issues/72), but I think not really a duplicate, because in this case even if the declaration domain is unbounded the "real" domain is...

The top element `k` of PVS type `ProbCostFunctionNetwork` is never defined, which causes the following error when using it: `MiniZinc: type error: undefined identifier 'k'`. As the is-worse predicate states...

MiniZinc models with very small or large floats cause the output of literals with exponent, like `3.784542847143949e-321`. This PR allows MiniBrass to parse such literals.

I have models with very many decision variables and use output items to bring the solution MiniZinc finds in a human-readable format. MiniBrass so far only outputs the raw DZN...

Like #26, but this time functioning 😆 When running the `MiniBrassRunner` with the parameter `--pareto`, it will not only output a single solution but all pareto-optimal solutions. The user of...

The intermediate MiniZinc files created with the `--debug` flag are currently named like `filename_0.mzn`, `filename_0_1.mzn`, `filename_0_1_2.mzn` and so on. This PR changes the behavior to `filename_0.mzn`, `filename_1.mzn`, `filename_2.mzn` and so...

I do not know if this is the intended behavior, but I found it confusing that the MiniBrass runner does not output any solutions if not run with the `--debug`...