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
Download: Prover9-Mace4-setup.exe
(about 5.5 MB)
- 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
Download: prover9-mace4.zip
(about 8.5 MB)
- 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
Download: p9m4-v3.tar.gz
(about 1.7 MB)
- 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.