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.
CycleClustering Branch-and-cut implementation of a graph partitioning problem used for Markov state models.
MinIISC A solver that computes irreducible infeasible subsystems using Benders decomposition
PBSolver A solver for pseudoboolean problems in OPB or WBO format. It complies by default with the technical regulations of PB competition. Therefore, it includes a message handler to produce a valid general log and for optimization problems an event handler to signal achievements of best primal solutions.
Ringpacking An implementation of the column generation approach for the Ringpacking Problem. It includes a customized reader, (global) problem data, variable data, and constraint handler.
Scheduler A solver for scheduling problems.