Find your next solver
A curated index of Operations Research resources — solvers, courses, books, datasets, communities and more. Classified by type, topic and audience.
10 resources matching
- Advanced modeling for discrete optimizationCourse
Course about advanced modeling for discrete optimization, covering topics such as debugging or predicates
- Basic modeling for discrete optimizationCourse
Course about basic modeling for discrete optimization with MiniZinc
- Choco solverSolver
An Open-Source java library for constraint programming
- Discrete Optimization courseCourse
Course about discrete optimization covering a wide range of optimization techniques such as Constraint Programming, Local Search or Column Generation
- 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.
- 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.
- MiniZincModeling language
MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.
- Solving algorithms for discrete optimizationCourse
Course about solving discrete optimization problems with different techniques: Constraint Programming, Mixed Integer Programming and Local Search
- Timefold AISolver
Updated fork from OptaPlanner
- TSP ChallengeGame
Another game with map visualizations for the TSP.