This is a slightly updated version of the original Prover9-Mace4 python
application written by William McCune. Unfortunately the GUI toolkit is old
and requires python 2.7, so this package will not run on newer python versions.
You need to install the python-wxgtk3.0 package (on ubuntu using the
sudo apt-get install python-wxgtk3.0 command), then simply run the
prover9-mace4.py file from this directory.
-
Notifications
You must be signed in to change notification settings - Fork 3
mmaroti/prover9-mace4
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Prover9-mace4 codebase for modernization
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published