← All resources

Uno

Uno (Unifying Nonlinear Optimization) is a C++ library that unifies methods for solving nonlinearly constrained optimization problems.

Type: Solver
Topic: Constraint programming
Audience: Researcher

Z3SolverZ3 is a theorem prover from Microsoft Research.
HuubSolverHuub 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
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.
CP ConferenceConferenceInternational conference about Constraint Programming
CPAIORConferenceInternational conference about the integration of Constraint Programming, Artificial Intelligence and Operations Research