/Flatzinc-To-ECNF

Transformation of flatzinc into the Extended CNF format, input language of MinisatID

Primary LanguageC++GNU Lesser General Public License v3.0LGPL-3.0

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.