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.