GitHub - broesdecat/Flatzinc-To-IDP: Transformation of flatzinc into the IDP knowledge representation language, based on the logic FO(ID, Agg, part, arith).

broesdecat / Flatzinc-To-IDP Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

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

LGPL-3.0, GPL-3.0 licenses found

Licenses found

2 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
flatzincsupport		flatzincsupport
AUTHORS		AUTHORS
COPYING		COPYING
COPYING.LESSER		COPYING.LESSER
Makefile.am		Makefile.am
README		README
TODO		TODO
configure.ac		configure.ac
main.cpp		main.cpp

Repository files navigation

fz2idp is a program to transform input in the flatzinc constraint programming language into input in the idp language, version of the languages current at May 2011.

IMPORTANT: the transformation should maintain valid input, but might throw an error on invalid input or transform invalid flatzinc into invalid idp. It will never transform valid into invalid input or vice-versa.