/Flatzinc-To-IDP

Transformation of flatzinc into the IDP knowledge representation language, based on the logic FO(ID, Agg, part, arith).

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

Stargazers