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
- BKS ChallengeChallenge
The CVRPLIB team announces the CVRPLIB BKS Challenge, a 30-day competition aimed at finding extremely high-quality solutions for the new XL benchmark set, 100 challenging CVRP instances ranging from 1,000 to 10,000 customers.
- 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.
- COMAP contestsChallenge
Consortium for Mathematics and its applications
- COMAP mcm-icmChallenge
COMAP's Mathematical Contest in Modeling (MCM) and Interdisciplinary Contest in Modeling (ICM) are international contests for high school students and college undergraduates. The contests challenge teams of up to three students to analyze, model, solve, and present solution reports to an open-ended application problem. In these contests research, analytics, and applied intelligence are just as important as time management and problem selection. Are you and your team up to it?
- Decision Management Community challengesChallenge
Community for Decision Management, including Machine Learning and Optimization
- 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.
- Grid Optimization competitionChallenge
Grid Optimization challenges for electric systems
- 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
- Kaggle Optimization ChallengesChallenge
Challenges around TSP variant with Santa Claus
- 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.
- OPTIL.ioChallenge
Challenges with different optimization problems
- ROADEF challengeChallenge
Bi-annual challenges from the French Operational Research (OR) and Decision Support Society. 2026: https://gitlab.com/Orange-OpenSource/network-optimization-tools/challenge-roadef-2026/-/tree/main/sprint_results
- Shell AI challengeChallenge
Annual challenges organized by Shell AI team.
- SMIO ChallengeChallenge
Optimization competition organized by the Mexican Society of Operations Research (SMIO).
- 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.