Mikael Zayenz Lagerkvist
Mikael Zayenz Lagerkvist
Bug with 2D indexed array literals with optional values: `internal error: missing builtin 'forall'`
I get the following error ``` [Playground:3.1-23](err:/private/var/folders/fv/49yy8rf13z5045yfpqbxv3fh0000gn/T/MiniZinc IDE (bundled)-JlgZFp/untitled_model.mzn?line=3&column=1) in variable declaration for 'x' [Playground:4-1.7-3](err:/private/var/folders/fv/49yy8rf13z5045yfpqbxv3fh0000gn/T/MiniZinc IDE (bundled)-JlgZFp/untitled_model.mzn?line=4&column=1) in call 'array2d' in call 'array2d' [stdlib_internal:23-5.24-53](err:/Applications/MiniZincIDE.app/Contents/Resources/share/minizinc/std/stdlib/stdlib_internal.mzn?line=23&column=5) in let expression [stdlib_internal:24.8-53](err:/Applications/MiniZincIDE.app/Contents/Resources/share/minizinc/std/stdlib/stdlib_internal.mzn?line=24&column=8) in call...
Currently it is possible to construct new enums using constructors with a single argument, making a simple mapping into the new enum type. It could sometimes be interesting to be...
I would like the following code to be valid ``` constraint let { enum Foo = {Bar}; } in true; ``` Currently (version 2.6.3) this just generates `MiniZinc: syntax error:...
The [`among_seq`](https://www.minizinc.org/doc-2.5.3/en/lib-gecode.html#index-15) global constraint that is in the Gecode library. it is quite useful in a lot of models and common in research papers, and I think it would be...
Array comprehensions are great, and for most 1-D arrays they work very well. However, sometimes I would like to be able to generate more than one element in the expression...
The model from [this StackOverflow answer](https://stackoverflow.com/questions/63136355/could-this-problem-be-solved-using-mixed-integer-non-linear-programming-or-any-o/63371525#63371525) (attached at the end also) using a mod constraints and works fine using Gecode. When running with COIN-BC it gives the following error ```...
Add the relevant documentation.