Find your next solver

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.

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.

Consortium for Mathematics and its applications

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?

Community for Decision Management, including Machine Learning and Optimization

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.

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.

Grid Optimization challenges for electric systems

Heuristic-based solver with great results in complex problems

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.

Challenges around TSP variant with Santa Claus

Challenges with different optimization problems

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.

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.

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

Annual challenges organized by Shell AI team.

Optimization competition organized by the Mexican Society of Operations Research (SMIO).