Find your next solver
A curated index of Operations Research resources — solvers, courses, books, datasets, communities and more. Classified by type, topic and audience.
24 resources matching
- Choco solverSolver
An Open-Source java library for constraint programming
- COPTSolver
A mathematical optimization solver for large-scale optimization problems. It is independently developed by Cardinal Operations, and it includes high-performance solvers for LP, MIP, SDP, (MI)SOCP, convex (MI)QP, convex (MI)QCP and exponential cone programming.
- CPLEXSolver
The IBM ILOG CPLEX Optimizer solves integer programming problems, very large[3] linear programming problems using either primal or dual variants of the simplex method or the barrier interior point method, convex and non-convex quadratic programming problems, and convex quadratically constrained problems (solved via second-order cone programming, or SOCP).
- Discord: HiGHSCommunity
The HiGHS Discord server.
- FICO XpressSolver
The FICO Xpress optimizer is a commercial optimization solver for linear programming (LP), mixed integer linear programming (MILP), convex quadratic programming (QP), convex quadratically constrained quadratic programming (QCQP), second-order cone programming (SOCP) and their mixed integer counterparts. Xpress includes a general purpose non-linear solver, Xpress NonLinear, including a successive linear programming algorithm (SLP, first-order method), and Artelys Knitro (second-order methods).
- 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.
- GLPKSolver
For solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems. It is a set of routines written in ANSI C and organized in the form of a callable library.
- GurobiSolver
Gurobi Optimizer is a prescriptive analytics platform and a decision-making technology developed by Gurobi Optimization, LLC. The Gurobi Optimizer (often referred to as simply, “Gurobi”) is a solver, since it uses mathematical optimization to calculate the answer to a problem.
- Gurobi blogBlog
Blog with news from Gurobi, the company behind one of the most important solvers globally
- Gurobi case studiesBlog
Use cases from Gurobi
- HiGHSSolver
HiGHS is open-source software to solve linear programming (LP), mixed-integer programming (MIP), and convex quadratic programming (QP) models.
- InsideOptSolver
Optimization software that leverages machine learning to provide unparalleled performance.
- 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)
- 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.
- LINGOSolver
LINGO includes a set of built-in solvers to tackle a wide variety of problems. Unlike many modeling packages, all of the LINGO solvers are directly linked to the modeling environment.
- lpsolveSolver
A Mixed Integer Linear Programming (MILP) solver.
- MiniZincModeling language
MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.
- PlannedNewsletter
Planning education for real-world stuff, the newsletter for problem solvers at scale.
- SCIPSolver
SCIP is currently one of the fastest non-commercial solvers for mixed integer programming (MIP) and mixed integer nonlinear programming (MINLP). It is also a framework for constraint integer programming and branch-cut-and-price.
- The Cutting PlaneGame
Learn about cutting planes in an adictive way.
- Timefold AISolver
Updated fork from OptaPlanner