Repository navigation

Issues

cons_nonlinear: deleting one nonlinear constraint during solving frees expression data that other constraints still use (segfault)
Bug
scipopt/scip#298 · opened on Nov 14, 2026
nlhdlr_soc: cone constant lost to cancellation gives a wrong optimal value (and Debug assertions in nlhdlrInitSepaSoc)
Bug
scipopt/scip#297 · opened on Nov 14, 2026
cons_nonlinear: symmetry detection marks handled expressions, not occurrences; false symmetry and wrong optimal value with default settings
Bug
scipopt/scip#296 · opened on Nov 14, 2026
Reoptimization: reoptimization/usecuts stores no usable cut because of an inverted test, and correcting the test gives wrong optimal values and crashes
scipopt/scip#295 · opened on Nov 14, 2026
Including a disabled separator changes the order of existing equal-priority plugins
scipopt/scip#294 · opened on Nov 14, 2026
XOR pairwise presolving corrupts the integer variable of a constraint when it adds a subset constraint to it (wrong optimal value)
scipopt/scip#293 · opened on Nov 14, 2026
XOR pairwise presolving does not update the right-hand side when it adds a subset constraint to its superset (wrong optimal value)
scipopt/scip#292 · opened on Nov 14, 2026
1
Inverse-power propagation treats large odd exponents as even and reports a feasible model infeasible
Bug
scipopt/scip#291 · opened on Nov 14, 2026
Reoptimization returns wrong results when a variable was added during the first solve (XOR constraint)
scipopt/scip#290 · opened on Nov 14, 2026
1
Reoptimization: segmentation fault in SCIPgetReoptOldObjCoef() for a variable without an original counterpart
scipopt/scip#289 · opened on Nov 14, 2026
Flower separator can stay inactive in later solves with the same SCIP (read again, free transform, reoptimization)
Bug
scipopt/scip#288 · opened on Nov 14, 2026
1
Flower separator detects a new node by its address, so identical runs can take different search paths
Bug
scipopt/scip#287 · opened on Nov 14, 2026
2
SCIPtreeBranchVar fixes a continuous variable whose domain is small only in relative terms; a suboptimal value is reported as optimal
Bug
scipopt/scip#286 · opened on Nov 12, 2026
4
Symmetry detection graph gets parallel edges for repeated variables (x*x): crash with sassy+nauty, wrong result with nauty
Bug
scipopt/scip#285 · opened on Nov 12, 2026
2
Incremental solution objective cache can produce a false optimum during solving
scipopt/scip#284 · opened on Nov 12, 2026
Expression solution tags are reused after freeTransform and return stale values
Bug
scipopt/scip#282 · opened on Nov 7, 2026
SCIPgetNPartialSols is missing from the shared-library exports
Bug
scipopt/scip#281 · opened on Nov 7, 2026
Probing aggregates a continuous variable whose bounds are only epsilon-close: wrong optimum, false infeasibility
Bug
scipopt/scip#280 · opened on Nov 7, 2026
2
SCIPupdateLocalDualbound() in the presolving stages treats the original-space bound as a transformed value
Bug
scipopt/scip#279 · opened on Nov 6, 2026
Convex secant estimator uses an integer point outside the variable bounds and cuts off feasible solutions
Bug
scipopt/scip#278 · opened on Nov 5, 2026
2
SCIPcolCreate and SCIProwCreate leave partially built objects when an allocation fails
Bug
scipopt/scip#277 · opened on Nov 2, 2026
SCIProwEnsureSize: a failed array growth leaves the row inconsistent, and SCIPfree then segfaults
Bug
scipopt/scip#273 · opened on Nov 2, 2026
Failed BMSreallocMemory* loses the old block, and resize functions publish the new size first
Bug
scipopt/scip#272 · opened on Nov 2, 2026
Buffer memory: failed growth segfaults for clean buffers and leaves the slot unusable
Bug
scipopt/scip#271 · opened on Nov 2, 2026
NL writer drops the coefficient of a product expression
Bug
scipopt/scip#270 · opened on Nov 2, 2026