Prover9-Mace4 GUI V0.3

• This version is only for testing installation and basic operation, and for feedback on the GUI design.
• The options panels don't do anything yet.
• You should be able to load existing input files and run basic jobs.
• 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.)
• I have tested it on XP-home and Win2000. What about Vista?

Known Windows Bugs

• When a proof or model is found, a black DOS box pops up for a moment.
• The samples directory (File -> Browse Samples) is supposed to be read only.

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 Bugs

• The program icon is damaged.
• The "Browse Samples" item in the "File" menu doesn't work.
• Universal binaries.
  • Building and testing were done on a G3 Mac 10.3.9.
  • I don't know if the GUI itself will work on Intel Macs. Let me know.
  • The included LADR binaries (prover9, mace4, prooftrans, interpformat) won't work on Intel Macs. If you have an Intel Mac, and if the GUI part works, you can fetch LADR-Aug-2007.tar.gz, compile, and replace those 4 binaries in the directory prover9-mace4.app/Contents/Resources/bin-mac; then you might be able to run jobs through the GUI.
• 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-v3.tar.gz and run p9m4-v3/p9m4.py.