Constraint

MiniZinc, short for MiniZinc Modeling Language, was created by Christian Schulte and collaborators in 2005. MiniZinc is a high-level, declarative modeling language for constraint satisfaction problems (CSP), combinatorial optimization, and scheduling. It is used for academic research, industrial optimization, and prototyping complex constraint-based models.

Choco, short for Choco Solver, was created by Charles Prud'homme and colleagues in 2005. Choco is a Java library for constraint satisfaction problems (CSP), combinatorial optimization, and scheduling. It is primarily used in academic research, industrial scheduling, and solving optimization problems in software that requires constraint programming.

ECLiPSe, short for ECLiPSe Constraint Logic Programming System, was created by a research group at the European Computer-Industry Research Center in the early 1990s. ECLiPSe is a logic programming language and environment used for constraint programming, combinatorial optimization, and solving complex scheduling and planning problems.

Pyomo, short for Python Optimization Modeling Objects, was created in 2008 by William E. Hart and the COIN-OR project team. Pyomo is a Python-based, open-source modeling language for formulating and solving optimization problems, including linear, nonlinear, and mixed-integer programming. It is widely used in operations research, energy systems, supply chain planning, and industrial optimization.

AMPL, short for A Mathematical Programming Language, was created in 1985 by Robert Fourer, David Gay, and Brian Kernighan. AMPL is a high-level modeling language designed for formulating and solving large-scale mathematical optimization problems, including linear, nonlinear, and mixed-integer programming. It is widely used in operations research, engineering, economics, energy planning, and supply chain management.