Issues

• [BUG][LCG] False UNSAT with reified allDifferent & reification support for decomposed constraints

  bug
  chocoteam/choco-solver#1274 · Filter by author JulienBranco opened on Nov 3, 2026 · Updated on Nov 4, 2026
  2

  

• FiniteAutomaton from regex can't use "."

  regular
  chocoteam/choco-solver#336 · by Filter by author aengelberg was closed on Nov 3, 2026 · Updated on Nov 3, 2026
  2

• Improvements of IntVar Views

  good first issue
  chocoteam/choco-solver#564 · by Filter by author arnaud-m was closed on Nov 3, 2026 · Updated on Nov 3, 2026
  1

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

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

• 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 · Updated on Nov 3, 2026
  3

• TimeUtils.convertInMilliseconds silently misreads "50ms", "1.5m" or "0.5h"

  bug
  chocoteam/choco-solver#1271 · by Filter by author cprudhom was closed on Nov 3, 2026 · Updated on Nov 3, 2026 · 6.0.3
  

• findAllOptimalSolutions: the reset() between the two phases makes stop criteria apply to each phase separately and drops those set before the call

  chocoteam/choco-solver#1272 · Filter by author cprudhom opened on Nov 2, 2026 · Updated on Nov 2, 2026