ZIB Optimization Suite

The ZIB Optimization Suite is a tool for generating and solving mixed integer programming programs. It consists of the following parts: ZIMPL - a mixed integer programming modeling language. SoPlex - a linear programming solver. SCIP - a mixed integer programming solver and constraint programming framework. The user can easily generate linear and mixed integer programs with the modeling language ZIMPL. The resulting model can directly be loaded into SCIP and solved. In the solution process SCIP may use SoPlex as underlying LP solver. Since all three tools are available in source code and free for academic use, they are an ideal tool for academic research purposes and for teaching integer programming.