fz2ecnf is a program to transform input in the flatzinc language into input in the ecnf language, versions of the languages current at May 2011.
broesdecat/Flatzinc-To-ECNF
Transformation of flatzinc into the Extended CNF format, input language of MinisatID
C++LGPL-3.0