Find your next solver

Case studies from AIMMS

Welcome to AMPL (A Mathematical Programming Language), a powerful and intuitive modeling language designed specifically for large-scale optimization problems. If you are new to modeling languages or AMPL, this page will guide you through what AMPL is, its benefits, and why it stands out in the landscape of programming and modeling languages.

Optimization problems in businesses using AMPL

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

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.

Customer success stories from Coupa including optimization problems

CVXPY is an open source Python-embedded modeling language for convex optimization problems. It lets you express your problem in a natural way that follows the math, rather than in the restrictive standard form required by solvers.

A track record of successful deployments in several countries across the globe from DecisionBrain

Journal covering algorithmic and applied areas of discrete mathematics

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

The Resource Center of use cases done with FICO

GAMS is a modeling system for mathematical optimization that lets users formulate complex problems in a high-level language and run them with different commercial and open-source solvers. All solvers are packaged in a single distribution, making it easy to switch between them and giving customers one point of contact for licensing and support. It also has a Python interface -GAMSPy- for building and solving mathematical optimization models using the GAMS technology stack. It keeps the modeling concepts of GAMS (sets, parameters, variables, equations) but exposes them as Python classes and functions. This allows modelers to stay in the Python ecosystem while using mature GAMS solvers and workflows.

A selection of case studies that demonstrate the diverse application areas of mathematical optimization with GAMS.

Open source software suite for optimization, tuned for tackling the world's toughest problems in vehicle routing, flows, integer and linear programming, and constraint programming.

Insights from different case studies of companies using Gurobi

Success stories from different companies using Hexaly

Use cases from IBM

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

JuMP is a domain-specific modeling language for mathematical optimization embedded in Julia. JuMP makes it easy to formulate and solve a range of problem classes, including linear programs, integer programs, conic programs, semidefinite programs, and constrained nonlinear programs.

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)

MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.

Real life examples from More Optimal

Journal about Operations Research from INFORMS

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

Case studies from Optimal Dynamics

Case studies from Optimal Solutions focused on food & beverage, pharmaceuticals, airlines, and finance

Optlang is a Python package implementing a modeling language for solving mathematical optimization problems, i.e. maximizing or minimizing an objective function over a set of variables subject to a number of constraints. Optlang provides a common interface to a series of optimization tools, so different solver backends can be changed in a transparent way.

Customer success stories from ORTEC

An LP modeler written in Python

Python-based, open-source optimization modeling language with a diverse set of optimization capabilities.

PyOptInterface is an open-source Python library to provide a unified API to construct and solve optimization models with various optimizers.

Business cases highlighted by The OR Society

Customer stories of companies using Timefold for planning problems