#How to build
Note: These instructions assume you're using Eclipse. It's probably possible to do most/all of this without it, but it might not be worth the trouble.
Xstreamand add it to the build path.
GenerateData.javato point to your local installation of ACL2. Compile and run that file. It will produce
cache.datin the main project directory.
If you encounter any problems with these build instructions, email me at [email protected].