Scippy

    SCIP

    Solving Constraint Integer Programs

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

    type definitions for IIS finder methods