All issues

[BUG] crash when solving an optimisation problem multiple times

#1215

· cprudhom opened

on Aug 11, 2026

[BUG] PropTimesNaive and PropTimesNaiveWithLong perform unsound pruning due to float rounding in div()

#1214

· JulienBranco opened

on Jul 23, 2026

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

#1212

· YoanThomasPhd opened

on Jun 19, 2026

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

#1210

· rasros opened

on Jun 8, 2026

Move seed parameter from Model and RegParser to Settings and SettingsBuilder

#1207

· YoanThomasPhd opened

on Jun 4, 2026

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

#1176

· axkr opened

on Nov 23, 2025

[BUG] Nested calls to `ISetIterator` go to unexpected behavior

#1175

· cprudhom opened

on Nov 12, 2025

[BUG] InvalidSolutionException on UndirectedGraphVar

#1174

· kevin-delmas opened

on Oct 30, 2025

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

#1164

· jpd236 opened

on Jul 30, 2025

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

#1163

· hugbelval opened

on Jul 28, 2025

Optimize checking of unsupported values in CouplesBitSetTable

#1160

· jsimomaa opened

on May 13, 2025

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

#1120

· fhermeni opened

on Dec 13, 2024

·