← All resources

Chuffed

Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind.

Type: Solver
Topic: Constraint programming
Audience: Researcher

UnoSolverUno (Unifying Nonlinear Optimization) is a C++ library that unifies methods for solving nonlinearly constrained optimization problems.
GecodeSolverGecode 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.
MiniZincModeling languageMiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.
CP ConferenceConferenceInternational conference about Constraint Programming
Meinolf SellmanContent creatorCreator of Optimization Solvers, CEO at InsideOpt.
CPAIORConferenceInternational conference about the integration of Constraint Programming, Artificial Intelligence and Operations Research