SCIP (optimization software)
||The topic of this article may not meet Wikipedia's notability guidelines for products and services. (November 2013)|
The design of SCIP is based on the notion of constraints. It supports about 20 constraint types for mixed-integer linear programming, mixed-integer nonlinear programming, mixed-integer all-quadratic programming and Pseudo-Boolean  optimization. There are also some global CP constraints available.
SCIP is implemented as C callable library. For user plugins, C++ 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, Gurobi, MOSEK, QSopt, SoPlex, and Xpress-Optimizer. SCIP can be run on Linux, Mac, Sun, 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. Interfaces to MATLAB and AMPL are available within the standard distribution.