To install the Simplify theorem prover, unpack the file that matches your computer,
rename it to "Simplify" and copy it to a directory in your PATH
(for instance /usr/local/bin on a UNIX system). Also make sure that the file is
executable.