Описание тега minizinc
MiniZinc is a solver-independent Constraint-Programming modelling language.
MiniZinc as modelling language is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. This is done by converting the MiniZinc model to a lower-level language, FlatZinc.
Around MiniZinc, several FlatZinc solvers and an IDE for development are freely available.
The MiniZinc home is here: http://www.minizinc.org/
Hakan Kjellerstrand's MiniZinc page has lots of MiniZinc models and global constraint definitions.