|
|
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
|
|
|
|
|
SCHED-OPT |
Vehicle and Duty Scheduling in Public Transport
|
|
|
|
|
TS-OPT |
Train Schedule Optimization
|
|
|
|
|
VSP |
Veranstaltungsplaner für die Lange Nacht der Wissenschaft (in German)
|
|
|
|
|
ZIBopt
|
ZIB Optimization Suite
|
|
|
|
|
SteinLib |
Steiner Tree in Graphs Problem Library
|
|
|
|
|
SNDLIB |
Survivable fixed telecommunication Network Design test instances library
|
|
|
|
|
MIPLIB |
Mixed Integer Problem Library
|
|
|
|
|
perPlex |
Rational Arithmetic LP Basis Verification Tool
|
|