Declarative

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.