Ignace Bleukx

Hi all, Any news on this issue? I am a developer of the [CPMpy modeling library](https://github.com/CPMpy/cpmpy) and we would really like to add SCIP as a solver. Ideally, we can...

Hi, The model doesn't actually compile. I get the error while MiniZinc is compiling to FlatZinc. For any other solver I have installed (gecode, chuffed and OR-tools) compiles fine. After...

Hi, I opened the issue on their tracker as well. Kind regards, Ignce

Hi, thanks for the quick answer. I'm not sure the offset-version of the constraint is really what I want, I do not want a solution where the mapping is offset,...

Hi, Is there any update on this issue? I managed to construct a minimal example in Java as well: ```java Model model = new Model(); // int lb = 0;...

Hi, thanks for the quick answer! I'm trying to post the half-reified propagator directly, but it results in the following exception when asserting the Boolean variable to true. ``` Unhandled...

Hi, Thanks! Below I attached the full model: ```java import org.chocosolver.solver.Model; import org.chocosolver.solver.constraints.Constraint; import org.chocosolver.solver.constraints.ConstraintsName; import org.chocosolver.solver.constraints.Propagator; import org.chocosolver.solver.constraints.nary.cumulative.PropGraphCumulative; import org.chocosolver.solver.variables.BoolVar; import org.chocosolver.solver.variables.IntVar; import org.chocosolver.solver.constraints.nary.cumulative.Cumulative; import java.util.ArrayList; public class Example...