Skip to content

broesdecat/Flatzinc-To-ECNF

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
src
src
 
 
.gitignore
.gitignore
 
 
AUTHORS
AUTHORS
 
 
COPYING
COPYING
 
 
COPYING.LESSER
COPYING.LESSER
 
 
Makefile.am
Makefile.am
 
 
README
README
 
 
TODO
TODO
 
 
configure.ac
configure.ac
 
 

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

dtai.cs.kuleuven.be/krr/minisatid

Resources

Readme

License

LGPL-3.0, GPL-3.0 licenses found

Licenses found

LGPL-3.0
COPYING.LESSER
GPL-3.0
COPYING
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages