SCIP (Solving Constraint Integer Programs)

Version:

1.2.0

SCIP Authors:

• Current developers at ZIB
• Other developers
• Contributors

What is SCIP?

SCIP is a framework to solve constraint integer programs (CIPs). In particular,

• SCIP is a branch-and-cut-and-price framework,
• incorporates a full-scale mixed integer programming (MIP) solver,
• is also a constraint programming (CP) solver, and
• incorporates SAT-solving features (conflict analysis, restarts).

SCIP is based on SIP (Solving Integer Programs) by Alexander Martin. The main developer of SCIP was Tobias Achterberg (2002-2007) with contributions by Timo Berthold and Kati Wolter. The persons listed above contributed or are currently contributing to SCIP.

SCIP is developed together with TU Braunschweig and TU Darmstadt and has approx. 270'000 lines of C code. See the web site of SCIP for more information about licensing and to download SCIP.

This documentation provides extensive information about SCIP.

General Information

• List of callable functions
• Frequently asked questions (FAQ)
• How to start a new project
• How to search the documentation for interface methods
• Makefiles / Installation information
• Debugging
• How to run automated tests with SCIP
• How to use SCIP to count feasible solutions
• List of all SCIP parameters

Programming with SCIP

• Coding style guidelines
• How to add constraint handlers
• How to add variable pricers
• How to add presolvers
• How to add separators
• How to add propagators
• How to add branching rules
• How to add node selectors
• How to add primal heuristics
• How to add relaxation handlers
• How to add file readers
• How to add dialogs
• How to add display columns
• How to add event handler
• Creating, capturing, releasing, and adding data objects
• Adding additional user parameters

Changes between different versions of SCIP

• Release notes
• Interface changes between version 1.1 and 1.2
• Interface changes between version 1.0 and 1.1
• Interface changes between version 0.9 and 1.0