Australian Research Council

Centre of Excellence for Mathematics

and Statistics of Complex Systems

Centre of Excellence for Mathematics

and Statistics of Complex Systems

Sunday 19 January 2020
Login |
SCIP HomeSCIP is a framework for Constraint Integer Programming oriented towards the needs of Mathematical Programming experts who want to have total control of the solution process and access detailed information down to the guts of the solver. SCIP can also be used as a pure MIP solver or as a framework for branch-cut-and-price. A similar technique is used for solving both Integer Programs and Constraint Programs: the problem is successively divided into smaller subproblems (branching) that are solved recursively. On the other hand, Integer Programming and Constraint Programming have different strengths: Integer Programming uses LP relaxations and cutting planes to provide strong dual bounds, while Constraint Programming can handle arbitrary (non-linear) constraints and uses propagation to tighten domains of variables. SCIP is implemented as C callable library and provides C++ wrapper classes for user plugins. It can also be used as a standalone program to solve mixed integer programs given in MPS Format, in ILOG LP Format or as ZIMPL model. SCIP is currently one of the fastest non-commercial mixed integer programming solver. It is also a framework for Constraint Integer Programming and branch-cut-and-price. It allows total control of the solution process and the access of detailed information down to the guts of the solver. More to come... Created by: system last modification: Tuesday 14 of April, 2009 [01:34:11 UTC] by cburt |