| Title | Description |
|---|---|
| OR-Lib | Test data sets for Operations Research (OR) problems (by J. E. Beasley) |
| GOLIB | Global Optimization Test Problems (by Arnold Neumaier) |
| CSPLIB | problem library for constraints (by Ian P. Gent & Toby Walsh) |
| DisCSP | the Distributed Constraint Satisfaction problems (by Michael Orlov) |
| SATLIB | A satisfiability problem (SAT) Library (by Holger H. Hoos) |
| QAPLIB | A Quadratic Assignment Problem Library (by Eranda Çela) |
| TSPLIB | A library of sample instances for the TSP (by Gerhard Reinelt) |
| GCP | Provide graph coloring resources (by Joseph Culberson) |
| DLPLIB | Benchmark library for Discrete Location Problem |
| UflLib | for the Uncapacitated Facility Location Problem (UFLP) (by Martin Hoefer) |
| UCTP | Some of University Course Timetabling Problem (UCTP) instances |
| QKPInst | Some of the Quadratic Knapsack Problem (QKP) instances (by Eric Soutif) |
| POMDP | partially observable Markov decision process (by Anthony R. Cassandra) |
| PSPLIB | library of benchmark problems for Project Scheduling Problem |
| FAP web | about Frequency Assignment Problems (by Andreas Eisenblatter & Arie Koster) |
| VRP | An introduction to the Vehicle Routing Problem. (by Wolfgang Garn) |
| SteinLib | A collection of Steiner tree problems in graphs |
| MIPLIB | Mixed Integer Problem Library (by Thorsten Koch) |
| TPTP | library for Automated Theorem Proving |
| MacMPEC | Mathematical Programs with Equilibrium Constraints (MPEC) (by Sven Leyffer) |
| BNR | Bayesian Network Repository (by Gal Elidan) |
| MCNC | MCNC Benchmark Netlists for Floorplanning and Placement (by Theodore Manikas) |