flatzinc
es un lenguaje de modelado de bajo nivel diseñado para problemas de restricciones. Es una representación simplificada de MiniZinc que facilita la interacción con solucionadores de restricciones como Gecode.
$ minizinc -c model.mzn data.dzn
produce un archivo FlatZinc [model.fzn] que puede ser utilizado por solucionadores compatibles con este formato
$ fzn-gecode model.fzn
ejecutar el modelo FlatZinc con un solucionador