Gramcnf interpreter for Linux.
This is an interpreter, it reads a given file written in a c-like language and
print out the information found into this file.
$ make
$ ./gramcnf -o THEME1.CNF --stats
This program was ported from Gramado OS.