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
- Advanced Analytics in PracticeNewsletter
Advanced Analytics in Practice focusing on breaking down what it takes to build real-world advanced analytics applications.
- AGI? No, thank you!Newsletter
AGI? No, thank you! Learning and Intelligent Optimization? Yes, please! https://intelligent-optimization.org/
- 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.
- FeasibleNewsletter
Where Operations Research practitioners share real-world strategies and emerging techniques for optimal decision-making.
- 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
- Impactful AnalyticsNewsletter
Analytics, Data Science, and AI - Actionable insights and thoughts to drive positive business transformation and impact.
- InsideOpt Weekly PuzzleNewsletter
One puzzle every week.
- 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.
- NextmvNewsletter
Roundup of Operations Research, Decision Science, and DecisionOps content from Nextmv and the optimization community
- Optimization in open-sourceNewsletter
Business Intelligence using optimal decision making tools.
- PRADO seriesNewsletter
🌟 Welcome to the Prescriptive Analytics and Decision Optimization (PRADO) Series 2025! 🌟 The series of presentations about OR in practice, tools, and technologies. 📅 Program Sneak Peek: 🎤 March: Optimizing pharmacy procurement with substitution of drugs
- Punk Rock ORNewsletter
Laura Albert’s newsletter about OR.
- The Decision StrategistNewsletter
Advice from a decision strategist with 19 years expertise in analytics & AI, inc. Gartner, system integrators & industry
- 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.