← All resources

CSPlib

CSPLib is a library of test problems for constraint solvers.

Type: Dataset
Topic: Constraint programming
Audience: Researcher

Meinolf SellmanContent creatorCreator of Optimization Solvers, CEO at InsideOpt.
Timefold AISolverUpdated fork from OptaPlanner
Z3SolverZ3 is a theorem prover from Microsoft Research.
CP ConferenceConferenceInternational conference about Constraint Programming
CPAIORConferenceInternational conference about the integration of Constraint Programming, Artificial Intelligence and Operations Research
MiniZincModeling languageMiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.