Issues

• XCSP3 parser: element without index (member): solutions found several times

  chocoteam/choco-solver#1270 · Filter by author szczepanskiNicolas opened on Oct 27, 2026

• XCSP3 parser: cardinality with variables as values and closed="true": ClassCastException (SetVarImpl cannot be cast to IntVar)

  chocoteam/choco-solver#1260 · Filter by author szczepanskiNicolas opened on Oct 16, 2026
  2

• LastConflict is not state-of-the-art

  Feature

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

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

  feature
  chocoteam/choco-solver#1164 · Filter by author jpd236 opened on Jul 30, 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] MiniZinc parser crashes on a model with float vars

  feature
  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

• Lazy creation of variables

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

• Reified global constraints are decomposed in Minizinc parser

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

  

• [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

• 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
  2

  

• Do not define unnecessary auxiliary variables

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

• Improve Expression Compilation

  chocoteam/choco-solver#953 · Filter by author arnaud-m opened on Oct 20, 2022
  7

• [FEATURE] ArExpression.intVar should allow naming of the variable

  feature
  chocoteam/choco-solver#783 · Filter by author hugoduncan opened on Mar 29, 2021
  1

  

• [BUG] Search.randomStrategy uses the same seed for VariableSelector and ValueSelector

  chocoteam/choco-solver#757 · Filter by author MathieuVavrille opened on Jan 11, 2021
  2

• [FEATURE] Stabilizing code coverage

  chocoteam/choco-solver#657 · Filter by author ArthurGodet opened on Jan 16, 2020

• [FEATURE] Remove unpost() method

  chocoteam/choco-solver#656 · Filter by author ArthurGodet opened on Jan 16, 2020
  2

• PropagationGuidedNeighborhood computes the wrong value of logSum

  chocoteam/choco-solver#647 · Filter by author GustavBjordal opened on Dec 16, 2019
  14

• After removing of methods like size() I see no way how to iterate over values in StateIntVector

  chocoteam/choco-solver#584 · Filter by author gregy4 opened on May 25, 2018
  5

• portfolio: manage real variable as objective variable

  feature
  chocoteam/choco-solver#582 · Filter by author pchtsp opened on Apr 9, 2018 · unknown
  3

  

• Composition of Search Strategy with different limit

  good first issuehelp wanted
  chocoteam/choco-solver#567 · Filter by author bourreauEric opened on Nov 16, 2017
  5