Search results

[BUG] Free search always uses lastConflict(..., 1) regardless of the lc value

bug

Status: Open.

#1212 In chocoteam/choco-solver;

· YoanThomasPhd opened on Jun 19, 2026

[BUG] LCG reports UNSAT on a satisfiable model when the value selector picks a pruned value

bug

Status: Open.

#1210 In chocoteam/choco-solver;

· rasros opened on Jun 8, 2026

Move seed parameter from Model and RegParser to Settings and SettingsBuilder

Status: Open.

#1207 In chocoteam/choco-solver;

· YoanThomasPhd opened on Jun 4, 2026

Bug in decreasing

Status: Open.

#1189 In chocoteam/choco-solver;

· dimitri-justeau opened on Apr 9, 2026

5.0.0-beta.1 - setting Settings.init().setLCG(true) JUnit case doesn't work

bug

Status: Open.

#1176 In chocoteam/choco-solver;

· axkr opened on Nov 23, 2025

[BUG] Nested calls to ISetIterator go to unexpected behavior

bug

Status: Open.

#1175 In chocoteam/choco-solver;

· cprudhom opened on Nov 12, 2025

[BUG] InvalidSolutionException on UndirectedGraphVar

bug

Status: Open.

#1174 In chocoteam/choco-solver;

· kevin-delmas opened on Oct 30, 2025

[BUG] Exponential performance dropoff in addClauses with increasing number of AND subclauses in OR

bug

Status: Open.

#1164 In chocoteam/choco-solver;

· jpd236 opened on Jul 30, 2025

[BUG] MultiCostRegular constraint finds suboptimal solution, seemingly filters out the correct solution

bug

Status: Open.

#1163 In chocoteam/choco-solver;

· hugbelval opened on Jul 28, 2025

Optimize checking of unsupported values in CouplesBitSetTable

Status: Open.

#1160 In chocoteam/choco-solver;

· jsimomaa opened on May 13, 2025

Model.intVar() should accept enumerated domains provided in bitsets

Status: Open.

Feature

#1120 In chocoteam/choco-solver;

· fhermeni opened on Dec 13, 2024

·  

unknown

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

bug

Status: Open.

#1119 In chocoteam/choco-solver;

· IgnaceBleukx opened on Dec 9, 2024