Prover9-Mace4 GUI V0.4 (Beta)

• This version should be reasonably functional, but it's not ready for general release.
• This was done in Python with the WX widget library.
• The target platforms are Windows (2000 or later), Mac OS X (10.3.9 or later), and Linux.

Windows

• This will lead you through a standard (I think) Windows style installation. (You have to be an administrator.)

Known Windows Problems

• When both Prover9 and Mace4 are running, the GUI response is slow.
• Automatic syntax highlighting is annoying, so it is disabled on startup.

Macintosh

• If you put this on your Desktop and open (unzip) it, the Prover9-Mace4 app should appear on your Desktop. (Do we need a better installation procedure?)

Known Mac Problems

• Universal binaries.
  • Building and testing were done on a G3 Mac 10.3.9.
  • The GUI itself should work on Intel Macs, but ...
  • The included LADR binaries (prover9, mace4, prooftrans, interpformat) are non-universal PPC binaries. If you have an Intel Mac, they might not work, depending on your configuration. If not, you can fetch LADR-Oct-2007.tar.gz, compile, and replace those 4 binaries in the directory prover9-mace4.app/Contents/Resources/bin-mac.
• Text boxes with a lot of text (>32K?) don't show scrollbars. All of the text really is there, so it can be 'Save'd.
• In general, the WX widget library is not as stable on the Mac (so they say) as it is on Linux and Windows, so there are likely to be a few more quirks.

Linux

• This is not a self-contained package like the Win32 and Mac versions.
• You'll need Python 2.5 (or later) and Python-wxgtk2.6 (or later).
• In Ubuntu, you can install packages python2.5 and python-wxgtk2.6.
• Unpack p9m4-v0.4.tar.gz and run p9m4-v0.4/prover9-mace4.py.
• The included prover binaries (prover9, prooftrans, mace4, interpformat) are compiled for i386. If you have different hardware, you can fetch LADR-Oct-2007.tar.gz, compile, and replace those 4 binaries in the directory p9m4-v0.4/bin.