2014-01-01 21:04:37 +04:00
|
|
|
This is GF-Complete, Revision 1.02. January 1, 2014.
|
2013-12-05 09:27:29 +04:00
|
|
|
|
2014-01-30 01:05:14 +04:00
|
|
|
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.
|
2013-12-05 09:27:29 +04:00
|
|
|
|
2013-12-30 22:42:50 +04:00
|
|
|
The online home for GF-Complete is:
|
2013-12-05 09:27:29 +04:00
|
|
|
|
|
|
|
|
- https://bitbucket.org/jimplank/gf-complete
|
2013-12-30 22:42:50 +04:00
|
|
|
|
2014-01-30 01:05:14 +04:00
|
|
|
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.
|
2013-12-05 09:27:29 +04:00
|
|
|
|
2013-12-30 02:01:42 +04:00
|
|
|
To compile, do:
|
2013-12-05 09:27:29 +04:00
|
|
|
|
2013-12-30 02:01:42 +04:00
|
|
|
./configure
|
|
|
|
|
make
|
2014-01-30 01:05:14 +04:00
|
|
|
sudo make install
|
