Find your next solver
A curated index of Operations Research resources — solvers, courses, books, datasets, communities and more. Classified by type, topic and audience.
19 resources matching
- Anand SubramanianContent creator
Associate Professor at Universidade Federal da Paraíba + Host of the “Subject to” podcast.
- Choco solverSolver
An Open-Source java library for constraint programming
- ChuffedSolver
Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind.
- CP ConferenceConference
International conference about Constraint Programming
- CPAIORConference
International conference about the integration of Constraint Programming, Artificial Intelligence and Operations Research
- CSPlibDataset
CSPLib is a library of test problems for constraint solvers.
- GecodeSolver
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.
- HuubSolver
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
- jMetalSolver
jMetal is a Java-based framework for multi-objective optimization with metaheuristics.
- KalisSolver
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.
- Meinolf SellmanContent creator
Creator of Optimization Solvers, CEO at InsideOpt.
- Metaheuristics and Nature Inspired Computing Conference 2023Conference
International Conference on Metaheuristics and Nature Inspired Computing
- Metaheuristics International Conference (MIC)Conference
Metaheuristics International Conference
- MiniZincModeling language
MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.
- NevergradSolver
A gradient-free optimization platform.
- Optsicom ProjectDataset
Instances for several interesting NP-hard problems.
- Timefold AISolver
Updated fork from OptaPlanner
- UnoSolver
Uno (Unifying Nonlinear Optimization) is a C++ library that unifies methods for solving nonlinearly constrained optimization problems.
- Z3Solver
Z3 is a theorem prover from Microsoft Research.