Scippy

SCIP

Solving Constraint Integer Programs

Default irreducible infeasible subsystems
Implementation files (.c files) » SCIP Default Plugins

type definitions for IIS finder methods