Zuse Institute Berlin
The Zuse Institute Berlin (abbreviated ZIB, or Konrad-Zuse-Zentrum für Informationstechnik Berlin) is a research institute for applied mathematics and computer science on the campus of Freie Universität Berlin in Dahlem, Berlin, Germany.
Motto | Zuses Werk weiterdenken |
---|---|
Established | 1984 |
President | Christof Schütte |
Location | , , |
Website | http://www.zib.de |
The ZIB was founded by law as a statutory establishment and as a non-university research institute of the State of Berlin in 1984. In close interdisciplinary cooperation with the Berlin universities and scientific institutions Zuse Institute implements research and development in the field of information technology with a particular focus on application-oriented algorithmic Mathematics and practical Computer science. ZIB also provides high-performance computer capacity as an accompanying service as part of the Network of high performance computers in Northern Germany (Norddeutscher Verbund von Hoch- und Höchstleistungsrechnern (HLRN)).
Konrad Zuse, born in Berlin in 1910, is the namesake of the ZIB.
SCIP (optimization software)
Stable release | 6.0.0
/ July 2, 2018 |
---|---|
Written in | C |
Operating system | Cross-platform |
Type | Mathematical optimization |
License | ZIB Academic License |
Website | scip |
SCIP (Solving Constraint Integer Programs) is a mixed integer programming solver and a framework for Branch and cut and Branch and price, developed primarily at Zuse Institute Berlin. Unlike most commercial solvers, SCIP gives the user low-level control of and information about the solving process. Run as a standalone solver, it is one of the fastest non-commercial solvers for mixed integer programs.[1]
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. SCIP can be run on Linux, Mac, Sun, and Windows operating systems.
Features
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 [2] optimization. It can also solve Steiner Trees and multi-objective optimization problems.[3][4]
References
- Mixed Integer Linear Programming Benchmark Mar 18, 2012.
- Pseudo-Boolean challenge 2009 Feb 11, 2011.
- A Generic Approach to Solving the Steiner Tree Problem and Variants Nov 9, 2015.
- PolySCIP Aug 15, 2016.
- SCIP-Interfaces Aug 15, 2016.
Further reading
- Achterberg, Tobias (2007), Constraint Integer Programming, ISBN 978-3-89963-892-9.
External links
Wikimedia Commons has media related to Konrad-Zuse-Zentrum für Informationstechnik. |