← All resources

MiniZinc

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

Type: Modeling language
Topic: Constraint programming
Audience: Practitioner
Researcher

Choco solverSolverAn Open-Source java library for constraint programming
Timefold AISolverUpdated fork from OptaPlanner
AMPLModeling languageWelcome 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.
GAMSModeling languageGAMS 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.
CSPlibDatasetCSPLib is a library of test problems for constraint solvers.
CPAIORConferenceInternational conference about the integration of Constraint Programming, Artificial Intelligence and Operations Research