2013-12-05 09:27:29 +04:00
|
|
|
This is GF-Complete, Revision 1.01.
|
|
|
|
|
|
|
|
The user's manual is in the file Manual.pdf.
|
|
|
|
|
|
|
|
There are two online homes for GF-Complete:
|
|
|
|
|
|
|
|
- https://bitbucket.org/jimplank/gf-complete
|
|
|
|
- http://www.cs.utk.edu/~plank/plank/papers/CS-13-716.html
|
|
|
|
|
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
|