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.
Transformation of flatzinc into the Extended CNF format, input language of MinisatID
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.
Transformation of flatzinc into the Extended CNF format, input language of MinisatID
http://dtai.cs.kuleuven.be/krr/minisatid
GNU Lesser General Public License v3.0