Scippy

SCIP

Solving Constraint Integer Programs

Example projects

SCIP contains several examples that demonstrate its usage. They are contained in the "examples" directory in the source code distribution.

Callable library
Callable Library Example An example showing how to setup constraints (esp. nonlinear ones) when using SCIP as callable library.
MIP solver A minimal implementation for using SCIP included into another source code
The n-Queens Problem Using SCIP's callable library for solving the n-queens problem.
Extending SCIP by custom plugins
Event handler A small example illustrating the use of an event handler.
Gomory mixed integer cut example An example about Gomory mixed-integer cuts.
Relaxator example An example about using custom relaxators.
Branch-and-cut
Sudoku example An example solving sudokus.
Linear Ordering An example for implementing a constraint handler.
The TSP example A short implementations of a constraint handler, two easy combinatorial heuristics, a file reader, etc. which demonstrate the usage of SCIP as a branch-and-cut-framework for solving traveling salesman problem instances.
Branch-and-price
Binpacking An implementation of the column generation approach for the binpacking problem. It includes a customized reader, Ryan/Foster branching rule, (global) problem data, variable data, and constraint handler.
Vehicle Routing A solver for a simple capacity-constrained vehicle routing problem, which is based on pricing tours via a dynamic programming algorithm.
Benders' decomposition
Stochastic capacitated facility location problem A stochastic programming problem that demonstrates the use of the Benders' decomposition framework within SCIP.