← All resources

CP Conference

International conference about Constraint Programming

Visit CP Conference

Type: Conference
Topic: Constraint programming
Audience: Researcher

CPAIORConferenceInternational conference about the integration of Constraint Programming, Artificial Intelligence and Operations Research
CSPlibDatasetCSPLib is a library of test problems for constraint solvers.
Choco solverSolverAn Open-Source java library for constraint programming
ChuffedSolverChuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind.
Meinolf SellmanContent creatorCreator of Optimization Solvers, CEO at InsideOpt.
MiniZincModeling languageMiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.