-
Notifications
You must be signed in to change notification settings - Fork 0
Transformation of flatzinc into the Extended CNF format, input language of MinisatID
License
LGPL-3.0, GPL-3.0 licenses found
Licenses found
LGPL-3.0
COPYING.LESSER
GPL-3.0
COPYING
broesdecat/Flatzinc-To-ECNF
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
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.
About
Transformation of flatzinc into the Extended CNF format, input language of MinisatID
Resources
License
LGPL-3.0, GPL-3.0 licenses found
Licenses found
LGPL-3.0
COPYING.LESSER
GPL-3.0
COPYING
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published