Scippy

SCIP

Solving Constraint Integer Programs

Application projects

There are several extensions of SCIP for particular applications included in the release. They are contained in the "applications" directory in the source code distribution.

Coloring An implementation of the column generation approach for graph coloring of Mehrotra and Trick.
MinIISC A solver that computes irreducible infeasible subsystems using Benders decomposition
Scheduler A solver for scheduling problems.
Steiner Tree Problem A solver for Steiner Tree Problems in graphs, based on a branch-and-cut approach.
PolySCIP A solver for multi-objective optimization problems.
Cycle Clustering Branch-and-cut implementation of a graph partitioning problem used for Markov state models.