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
- AI for Better PlanningNewsletter
Learn more about how AI is changing businesses and how you can leverage it: Insights, tools, tips, and expert voices
- Amazon ScienceBlog
Blog with news from the Operations Research and Optimization group at Amazon
- Anything you can do I can do betterVideo
Prof Marco Lubbecke talks about optimization in a TED Talk.
- 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
- 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.
- Mike Talks AINewsletter
Practical AI for business, my experience starting and selling a company, and other content.
- MiniZincModeling language
MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.
- MIPLearnSoftware
An extensible framework for solving discrete optimization problems using a combination of Mixed-Integer Linear Programming (MIP) and Machine Learning (ML). MIPLearn uses ML methods to automatically identify patterns in previously solved instances of the problem, then uses these patterns to accelerate the performance of conventional state-of-the-art MIP solvers such as CPLEX, Gurobi or XPRESS.
- ML ain’t your only hammerVideo
Introduction to the field of mathematical optimization.
- 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.