The download links on this page provide the (C/C++) sources for
haRVey-FOL and haRVey-SAT.
The current version (0.5.10) of haRVey-FOL is distributed within the
LGPL. It may be
downloaded here.
To use haRVey-FOL, you will need a working version of the E-prover.
The current version (0.1) of haRVey-SAT is distributed within the BSD
License. To compile haRVey-SAT, you will need the MiniSat
SAT solver (the preferred option), or zChaff.
Download the packages rv-sat-main-0.1 and rv-sat-patch-0.1, and decompress
(using tar zxvf) in a same directory. Then follow the instructions in
rv-sat/INSTALL.
