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
- 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.
- Flexciton newsBlog
Blog with news from one of the biggest companies in the world optimizing chip making
- Free the world from wasteful scheduling with Timefold AIVideo
Solve NP-hard optimization problems with Timefold AI.
- 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.
- Geoffrey De SmetContent creator
Co-Founder + CTO at Timefold AI.
- 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
- Jeffrey Dean KellyContent creator
J.D. Kelly is an Advanced Planning and Scheduling (APS) and Advanced Process Control (APC) expert in the process industries including both optimization and estimation technologies otherwise known as Advanced Production-chain Control, Optimization and Estimation (APCOE)
- 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.
- PlannedNewsletter
Planning education for real-world stuff, the newsletter for problem solvers at scale.
- Timefold AISolver
Updated fork from OptaPlanner
- Timefold use casesUse cases
Customer stories of companies using Timefold for planning problems
- UnoSolver
Uno (Unifying Nonlinear Optimization) is a C++ library that unifies methods for solving nonlinearly constrained optimization problems.
- Warren PowellContent creator
Professor Emeritus, Princeton University/ Co-Founder, Optimal Dynamics, shares knowledge about sequential decision problems.
- Z3Solver
Z3 is a theorem prover from Microsoft Research.