Find your next solver
A curated index of Operations Research resources — solvers, courses, books, datasets, communities and more. Classified by type, topic and audience.
26 resources matching
- Beer GameGame
Learn supply chain principles through a visual simulation.
- 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.
- Coupa use casesUse cases
Customer success stories from Coupa including optimization problems
- 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.
- cuOptSolver
Achieve world-record speed on large-scale problems with millions of constraints and variables—saving time and reducing costs.
- CVRP GameGame
A game to better understand how CVRP works.
- CVRPlibDataset
Instances for the CVRP challenge.
- 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
- 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.
- Mehdi NourinejadContent creator
Assistant Professor of Transportation Engineering @ York University | Director of Interactive-OR | Amazon Visiting Academic @ Amazon
- Meinolf SellmanContent creator
Creator of Optimization Solvers, CEO at InsideOpt.
- Michael WatsonContent creator
Teaching and writing about all things AI, operations, and his startup experience.
- MiniZincModeling language
MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.
- MIT Supply Chain FrontiersPodcast
Thought leadership from the MIT Center for Transportation & Logistics.
- Optimal Dynamics use casesUse cases
Case studies from Optimal Dynamics
- ORTECUse cases
Customer success stories from ORTEC
- Prasad VelagaContent creator
President of Optisol, Scheduling Specialist for High-Variety, Order-Driven Production and Resource-Constrained Projects.
- Timefold AISolver
Updated fork from OptaPlanner
- UnoSolver
Uno (Unifying Nonlinear Optimization) is a C++ library that unifies methods for solving nonlinearly constrained optimization problems.
- VeRoLogChallenge
Vehicle Routing and Logistics work group from EURO
- VRPlibDataset
This web is dedicated to the study of VRP; we have compiled here a great deal of information about it for public access: technical reports, many different variants of the problem, alternative algorithms and techniques for solving it, some well-known instances of the problem, the best-so-far solutions for those instances, bibliography, related links…
- Z3Solver
Z3 is a theorem prover from Microsoft Research.