This is GF-Complete, Revision 1.02. January 1, 2014.
The user's manual is in the file Manual.pdf. You may also get a copy of that
manual at http://www.cs.utk.edu/~plank/plank/papers/GF-Complete-Manual-1.02.pdf.
The online home for GF-Complete is:
If you want to cite GF-Complete in a paper, I suggest citing the
technical report version. The precise citation information for that
is in http://www.cs.utk.edu/~plank/plank/papers/CS-13-716.html.
To compile, do:
sudo make install