Installing Prover9, Mace4, and Friends
Unix-like Systems
Here is a quick example for Unix-like systems, including Linux and Macintosh OS X.
Visit the Prover9 Web page
and download the current version of LADR. The filename should be something
like LADR-June-2006A.tar.gz; make sure that file is in your current
directory. Run the following commands.
% zcat LADR-June-2006A.tar.gz | tar xvf -
% cd LADR-June-2006A
% make all
Prover9, mace4, prooftrans, and several other programs should now
be in the directory LADR-June-2006A/bin. You can either include
that directory in your search path or copy those programs to
some directory that is already in your search path.
Microsoft Windows
Get a new hard drive, install Linux, then see the preceding section.
Just kidding---there is a Windows version. For now, see that the
Prover9 Web page.