Find your next solver

The journal publishes 24 issues a year that focus on the theoretical, practical, and computational aspects of operations research

An Open-Source java library for constraint programming

Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind.

Operations research and computers interact in many scientific fields of vital importance to our society. These include, among others, transportation, economics, investment strategy, inventory control, logistics, safety, reliability, urban planning, and ecology. Computers & Operations Research (COR) provides an international forum for the application of computers and operations research techniques to problems in these and related fields.

It is a peer-reviewed academic journal in operations research. It was founded in 1977 by the Association of European Operational Research Societies

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.

Heuristic-based solver with great results in complex problems

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

It is a peer-reviewed academic journal which is published six times a year by Wiley-Blackwell on behalf of the International Federation of Operational Research Societies. The editorial mission of the journal is to advance the theory and practice of Operational Research and Management Science internationally

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.

It is a quarterly peer-reviewed scientific journal established in February 1976. It focuses on areas of mathematics relevant to the field of operations research such as continuous optimization, discrete optimization, game theory, machine learning, simulation methodology, and stochastic models. The journal is published by INFORMS (Institute for Operations Research and the Management Sciences)

Journal about Operations Research from INFORMS

It is a bimonthly peer-reviewed academic journal covering operations research. It was established in 1981

Updated fork from OptaPlanner

Uno (Unifying Nonlinear Optimization) is a C++ library that unifies methods for solving nonlinearly constrained optimization problems.

Z3 is a theorem prover from Microsoft Research.