Ignace Bleukx

Modulo with negative arguments

1

I am using Minizinc in the python library CPMpy and came across this bug. ```python import minizinc model = minizinc.Model() model.add_string("var 0..5: x;\n") model.add_string("var -5..5: y;\n") model.add_string("constraint (x mod y)...

Minizinc 2.8.1 compatibility issues

7

Dear, I'm using Choco v 4.10.14 through the MiniZinc interface on MiniZinc v.2.8.1 and I am encountering an error when trying to compile a model with an element constraint. Below...

Reified global constraints are decomposed in Minizinc parser

1

Dear, I am using the Choco-solver through Minizinc and noticed the lack of support for (half) reified global constraints in the flatzinc output. For example, when compiling the following model...

[BUG] IsEntailed for InverseChanneling not working with negative bounds

6

Hi, I am trying to post a reification of the inverse_channeling constraint. However, when one of the variables in the forward array has a lowerbound which is negative, I get...

Hi, I am using the `strictly_increasing` constraint within a reification constraint which gives me some unexpected results: ``` include "globals.mzn"; var -3..5: x; var -3..5: y; var -3..5: z; var...