SCIP is a mixed integer programming solver and a framework for Branch and cut

Branch and cut

Branch and cut is a method of combinatorial optimization for solving integer linear programs, that is, linear programming problems where some or all the unknowns are restricted to integer values...

 and Branch and price

Branch and price

In applied mathematics, branch and price is a method of combinatorial optimization for solving integer linear programs,...

, developed at Zuse Institute Berlin

Zuse Institute Berlin

The Zuse Institute Berlin is a research institute for applied mathematics and computer science in Berlin....

.
SCIP stands for Solving Constraint Integer Programs. It is based on the Branch and bound

Branch and bound

Branch and bound is a general algorithm for finding optimal solutions of various optimization problems, especially in discrete and combinatorial optimization...

 algorithm with LP relaxations.

The design of SCIP is based on the notion of constraints

Constraint programming

Constraint programming is a programming paradigm wherein relations between variables are stated in the form of constraints. Constraints differ from the common primitives of imperative programming languages in that they do not specify a step or sequence of steps to execute, but rather the properties...

. It supports about 20 constraint types for mixed-integer linear programming, mixed-integer all-quadratic programming and Pseudo-Boolean optimization. There are also some global CP constraints available.

SCIP is implemented as C

C (programming language)

C is a general-purpose computer programming language developed between 1969 and 1973 by Dennis Ritchie at the Bell Telephone Laboratories for use with the Unix operating system....

 callable library.
For user plugins, C++

C++

C++ is a statically typed, free-form, multi-paradigm, compiled, general-purpose programming language. It is regarded as an intermediate-level language, as it comprises a combination of both high-level and low-level language features. It was developed by Bjarne Stroustrup starting in 1979 at Bell...

 wrapper classes are provided. The solver for the LP relaxations is not a native component of SCIP, an open LP interface is provided instead.
Currently supported LP solvers are CLP, CPLEX

CPLEX

IBM ILOG CPLEX Optimization Studio is an optimization software package. In 2004, the work on CPLEX earned the first ....

, Gurobi

Gurobi

Gurobi is a commercial software package for solving large-scale linear optimization, quadratic optimization, and mixed-integer optimization problems...

, Mosek, QSopt, SoPlex, and Xpress.
SCIP can be run on Linux

Linux

Linux is a Unix-like computer operating system assembled under the model of free and open source software development and distribution. The defining component of any Linux system is the Linux kernel, an operating system kernel first released October 5, 1991 by Linus Torvalds...

, Mac

Mac OS

Mac OS is a series of graphical user interface-based operating systems developed by Apple Inc. for their Macintosh line of computer systems. The Macintosh user experience is credited with popularizing the graphical user interface...

, Sun

SunOS

SunOS is a version of the Unix operating system developed by Sun Microsystems for their workstation and server computer systems. The SunOS name is usually only used to refer to versions 1.0 to 4.1.4 of SunOS...

, and Windows operating systems.

Run as a standalone solver, it is one of the fastest non-commercial solvers for mixed integer programs.
SCIP can be accessed through the modeling system of GAMS

GAMS

-Acronyms:* General Algebraic Modeling System , a mathematical optimization computer program* Guide to Available Mathematical Software , a project of the National Institute of Standards and Technology...

.