OR Index
Operations Research resources
About
Auto
← All resources
Meinolf Sellman
Creator of Optimization Solvers, CEO at InsideOpt.
Visit Meinolf Sellman
↗
Type
Content creator
Topic
Constraint programming
Audience
Researcher
Related resources
Huub
Solver
Huub is a Lazy Clause Generation (LCG) solver with a focus on modularity and maintainability in addition to speed. LCG solvers are a class of solvers that can be used to solve decision and optimization problems. They are characterized by their ability to dynamically add new Boolean variables and clauses to a Boolean Satisfiability (SAT) solver during the search process
Choco solver
Solver
An Open-Source java library for constraint programming
MiniZinc
Modeling language
MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.
CPAIOR
Conference
International conference about the integration of Constraint Programming, Artificial Intelligence and Operations Research
CP Conference
Conference
International conference about Constraint Programming
CSPlib
Dataset
CSPLib is a library of test problems for constraint solvers.