choco-solver

choco-solver copied to clipboard

[BUG] Start and end of tasks are always enforced at root

5

Hi, I'm attempting to model a half-reified Cumulative constraint (see sample code below). However, while the "non-overlapness" of the Cumulative constraints is correctly reified, the link between start and end...

IgnaceBleukx

[BUG] Clause learning broken since Choco 4.10.14

2

**Describe the bug** I am trying to upgrade a project from Choco 4.10.13 to 4.10.14, but every time I try to run with clause-learning enabled, I get the following exception:...

Holt59

[BUG]Unexpected behavior when using Task with scalar

4

The following test fails: ```java @Test(groups = "1s", timeOut = 60000) public void testScalarAndTaskBug1() { int[] coeffs = new int[]{3, -2,-1,-2}; IntVar[] vars = new IntVar[4]; vars[0] = model.intVar(8, 9);...

cprudhom