Issues

• XCSP3 parser: problems found by the unit tests of PyCSP3 (pow, mod, allDifferent-matrix with except, iff, nValues on expressions, ordered with lengths, lex-matrix with ge or gt, sum with notin)

  chocoteam/choco-solver#1248 · Filter by author szczepanskiNicolas opened on Sep 14, 2026

• LastConflict is not state-of-the-art

  Feature

  chocoteam/choco-solver#1219 · Filter by author cprudhom opened on Aug 14, 2026
  10

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

  bug
  chocoteam/choco-solver#1210 · Filter by author rasros opened on Jun 8, 2026
  2

• Move seed parameter from Model and RegParser to Settings and SettingsBuilder

  chocoteam/choco-solver#1207 · Filter by author YoanThomasPhd opened on Jun 4, 2026
  2

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

  bug
  chocoteam/choco-solver#1176 · Filter by author axkr opened on Nov 23, 2025
  4

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

  bug
  chocoteam/choco-solver#1164 · Filter by author jpd236 opened on Jul 30, 2025
  2

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

  bug
  chocoteam/choco-solver#1163 · Filter by author hugbelval opened on Jul 28, 2025
  2

• Optimize checking of unsupported values in CouplesBitSetTable

  chocoteam/choco-solver#1160 · Filter by author jsimomaa opened on May 13, 2025

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

  Feature

  chocoteam/choco-solver#1120 · Filter by author fhermeni opened on Dec 13, 2024 · unknown
  1

  

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

  bug
  chocoteam/choco-solver#1119 · Filter by author IgnaceBleukx opened on Dec 9, 2024
  5

• [BUG] Clause learning broken since Choco 4.10.14

  bug
  chocoteam/choco-solver#1118 · Filter by author Holt59 opened on Nov 19, 2024
  2

• [BUG] MiniZinc parser crashes on a model with float vars

  bug
  chocoteam/choco-solver#1098 · Filter by author SYury opened on May 21, 2024
  3

• [BUG] Wrong solution on evm-super-compilation (only in parallel mode)

  bug
  chocoteam/choco-solver#1094 · Filter by author ptal opened on May 9, 2024
  2

• [Documentation] Wrong specs in Implied and Reif constraints/propagators

  bug
  chocoteam/choco-solver#1087 · Filter by author 363734 opened on Feb 22, 2024
  

• Lazy creation of variables

  chocoteam/choco-solver#1086 · Filter by author cprudhom opened on Feb 15, 2024

• Minizinc 2.8.1 compatibility issues

  bug
  chocoteam/choco-solver#1074 · Filter by author IgnaceBleukx opened on Dec 8, 2023
  7

• Reified global constraints are decomposed in Minizinc parser

  bug
  chocoteam/choco-solver#1072 · Filter by author IgnaceBleukx opened on Nov 20, 2023 · unknown
  1

  

• Settings object should become immutable once the model is setup

  bug
  chocoteam/choco-solver#1070 · Filter by author cprudhom opened on Nov 8, 2023
  2

• [BUG] Choco does not check for timeout during initialization phase

  bug
  chocoteam/choco-solver#1062 · Filter by author mstrojny opened on Oct 3, 2023
  2

• License change planned?

  chocoteam/choco-solver#1061 · Filter by author user321321 opened on Sep 30, 2023
  4

  

• getGraphVal() is missing from the Solution object.

  chocoteam/choco-solver#1053 · Filter by author dimitri-justeau opened on Jul 13, 2023

• Resetting solver to an intermediate state

  chocoteam/choco-solver#1028 · Filter by author miguelneto0 opened on Apr 27, 2023

• Reduce memory footprint for CompactTable

  chocoteam/choco-solver#1017 · Filter by author cprudhom opened on Mar 6, 2023
  1

• [BUG] Incomplete bounding of expressions with products or powers

  bug
  chocoteam/choco-solver#980 · Filter by author arnaud-m opened on Nov 29, 2022 · unknown
  1

  

• Do not define unnecessary auxiliary variables

  chocoteam/choco-solver#979 · Filter by author arnaud-m opened on Nov 29, 2022