← All resources

CPAIOR

International conference about the integration of Constraint Programming, Artificial Intelligence and Operations Research

Type: Conference
Topic: Constraint programming
Audience: Researcher

CP ConferenceConferenceInternational conference about Constraint Programming
Z3SolverZ3 is a theorem prover from Microsoft Research.
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.
CSPlibDatasetCSPLib is a library of test problems for constraint solvers.