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) |

Since Nov. 9, 2005.