Search results

Wrong UNSAT detected during presolving in PaPILO 3.0.0 (SCIP 10.0.2) on PB benchmark normalized-ivu52.opb

Status: Open.

#196 In scipopt/scip;

· sakai366 opened on Apr 16, 2026

Solution quality regression for set cover problems with constraints on the number of selected columns

Status: Open.

Feature

#195 In scipopt/scip;

· tobiass-sdl opened on Apr 13, 2026

Proposal: Compile-time I/O abstraction for embedding SCIP as a library

Status: Open.

Feature

#194 In scipopt/scip;

· bnaras opened on Apr 7, 2026

timelimit not strict enough

Status: Open.

Task

#192 In scipopt/scip;

· chistopher opened on Mar 31, 2026

Presolving renders problem infeasible

Status: Open.

Bug

#190 In scipopt/scip;

· rajgoel opened on Feb 14, 2026

Turning off all presolving operations in SCIPpresolve() + retrieving symmetry information

Status: Open.

#189 In scipopt/scip;

· FZixuan opened on Feb 9, 2026

SCIP 10 crash with IIS

Status: Open.

Feature

#180 In scipopt/scip;

· rgazizov opened on Nov 27, 2025

SCIP gets stuck after upgrade to 9.2.4

Status: Open.

Bug

#172 In scipopt/scip;

· lhoegh opened on Oct 27, 2025

Suboptimal solution for multilinear relations

Status: Open.

Bug

#162 In scipopt/scip;

· ThibautCoudroy opened on Aug 7, 2025

scip generates inconsistent solutions with non-default parameters

Status: Open.

Bug

#142 In scipopt/scip;

· zxt5 opened on May 17, 2025

scip crashes with heurExecAlns(SCIP *, SCIP_HEUR *, SCIP_HEURTIMING, unsigned int, SCIP_RESULT *): Assertion `FALSE' failed

Status: Open.

Bug

#139 In scipopt/scip;

· zxt5 opened on May 7, 2025

Incorrect solution from scip when numerics/feastol = 1e-9

Status: Open.

Bug

#132 In scipopt/scip;

· zxt5 opened on Apr 11, 2025