OR Index
Operations Research resources
About
Auto
← All resources
Choco solver
An Open-Source java library for constraint programming
Visit Choco solver
↗
Type
Solver
Topic
Constraint programming
Audience
Practitioner
Researcher
Related resources
Gecode
Solver
Gecode is an open source C++ toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.
Kalis
Solver
An innovative constraints programming component able to solve quickly and efficiently a wide range of combinatorial problems relying on an interactive and user-friendly hybrid framework including constraint programming, mixed-integer programming and artificial intelligence.
MiniZinc
Modeling language
MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.
CP Conference
Conference
International conference about Constraint Programming
CPAIOR
Conference
International conference about the integration of Constraint Programming, Artificial Intelligence and Operations Research
Meinolf Sellman
Content creator
Creator of Optimization Solvers, CEO at InsideOpt.