Mcf
| A network simplex implementation. |
| SCIP | Solving Constraint Integer Programs. |
SoPlex
| Sequential object-oriented SimPlex Algorithm. |
ZIMPL
| Zuse Institute Mathematical Programming Language. |
| Porta | POlyhedron Representation Transformation Algorithm. |
| AMSEL | A Modelling and Simulation Environment Library. |
| TOPCOM | Triangulations of Point Configurations and Oriented Matroids. |
| CS-OPT | Airline Crew Scheduling (in englisch). |
| SCHED-OPT | Vehicle and Duty Scheduling in Public Transport. |
| TS-OPT | Train Schedule Optimization. |
| VSP | Veranstaltungsplaner für die Lange Nacht der Wissenschaft. |
| ZIBopt | ZIB Optimization Suite. |
| SteinLib | Steiner Tree in Graphs Problem Library. |
| FAPWeb | A website about Frequency Assignment Problems |
| SNDLIB | Survivable fixed telecommunication Network Design test instances library. |
| MOMENTUM | Models and Simulation for Network Planning and Control of UMTS |
| MADLIB | A LIBrary of MAtrix Decomposition Problems |
| MIPLIB | Mixed Integer Problem Library. |
| TTPLIB | Train Timetabling Problem Library |
| perPlex | Rational Arithmetic LP Basis Verification Tool. |