libminizinc
libminizinc copied to clipboard
MiniZinc
The MiniZinc compiler
In some cases it is common to have a list of lists of non-equal length as the data. Representing this in MiniZinc can be awkward and require a lot of...
Using some online tools like https://www.bottlecaps.de/rr/ui and https://www.bottlecaps.de/convert/ and a bit of manual fixes we can have a nice navigable railroad diagram. Copy and paste the `EBNF` shown bellow on...
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...
This is a problem on Windows, with the `minizinc.exe` in MiniZincIDE 2.6.4. It seems that when doing `minizinc.exe --solver ".../some.msc" ".../foo.mzn" ".../foo.dzn"`, where `some.msc` specified an `"executable"` `some.exe`, the `some.exe`...
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) =...
This is a continuation of #565 , which apparently was not quite fixed. This model is infeasible: ``` var bool: c; var bool: d; constraint not(not(true xor c) -> ((d...
I've encountered a hard MiniZinc failure when using the `minizinc/minizinc:latest-alpine` Docker image. Interestingly, this doesn't occur on the regular `minizinc/minizinc:latest` image. The error message states `This is a bug. Please...
The MiniZinc Handbook index doesn't mention lazy evaluation, although Section 4.1.7.3 "If-then-else expressions" says: > If the if expression is par bool then evaluation of if-then-else expressions is lazy: the...
This is split off of issue #607. Suppose I have a model that counts involutions: ``` % Version 1: count involutions, a permutation that equals its inverse; OEIS:A000085 include "inverse_fn.mzn";...
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...