Find your next solver
A curated index of Operations Research resources — solvers, courses, books, datasets, communities and more. Classified by type, topic and audience.
14 resources matching
- 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.
- EUROOrganization
EURO is the 'Association of European Operational Research Societies'. The objectives of EURO aim to promote Operational Research within Europe.
- 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.
- HexalySolver
Heuristic-based solver with great results in complex problems
- 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
- IFORSOrganization
The International Federation of Operational Research Societies (IFORS) is an umbrella organization for national operations research societies of over 45 countries
- INFORMSOrganization
INFORMS is the leading international association for Operations Research & Analytics professionals.
- 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.
- SEIOOrganization
The Spanish Statistical and Operational Research Society is a Spanish organization that promotes the development and practice of statistics and operational research.
- The OR SocietyOrganization
The Operational Research Society (ORS), also known as The OR Society, is an international learned society in the field of operational research (OR), with more than 3,100 members
- 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.