GitHub - mmaroti/prover9-mace4: Prover9-mace4 codebase for modernization (original) (raw)
Navigation Menu
Appearance settings
- AI CODE CREATION
* GitHub CopilotWrite better code with AI
* GitHub SparkBuild and deploy intelligent apps
* GitHub ModelsManage and compare prompts
* MCP RegistryNewIntegrate external tools - DEVELOPER WORKFLOWS
* ActionsAutomate any workflow
* CodespacesInstant dev environments
* IssuesPlan and track work
* Code ReviewManage code changes - APPLICATION SECURITY
* GitHub Advanced SecurityFind and fix vulnerabilities
* Code securitySecure your code as you build
* Secret protectionStop leaks before they start - EXPLORE
* Why GitHub
* Documentation
* Blog
* Changelog
* Marketplace
- AI CODE CREATION
- BY COMPANY SIZE
* Enterprises
* Small and medium teams
* Startups
* Nonprofits - BY USE CASE
* App Modernization
* DevSecOps
* DevOps
* CI/CD
* View all use cases - BY INDUSTRY
* Healthcare
* Financial services
* Manufacturing
* Government
* View all industries
- BY COMPANY SIZE
- EXPLORE BY TOPIC
* AI
* Software Development
* DevOps
* Security
* View all topics - EXPLORE BY TYPE
* Customer stories
* Events & webinars
* Ebooks & reports
* Business insights
* GitHub Skills - SUPPORT & SERVICES
* Documentation
* Customer support
* Community forum
* Trust center
* Partners
- EXPLORE BY TOPIC
- COMMUNITY
* GitHub SponsorsFund open source developers - PROGRAMS
* Security Lab
* Maintainer Community
* Accelerator
* GitHub Stars
* Archive Program - REPOSITORIES
* Topics
* Trending
* Collections
- COMMUNITY
- Pricing
Provide feedback
We read every piece of feedback, and take your input very seriously.
Include my email address so I can be contacted
Saved searches
Use saved searches to filter your results more quickly
Appearance settings
mmaroti / prover9-mace4 Public
Notifications You must be signed in to change notification settings
Additional navigation options
Folders and files
| Name | Name | Last commit message | Last commit date |
|---|---|---|---|
| Latest commitHistory13 Commits | |||
| bin | bin | ||
| images | images | ||
| samples | samples | ||
| .gitignore | .gitignore | ||
| README.md | README.md | ||
| control.py | control.py | ||
| files.py | files.py | ||
| my_setup.py | my_setup.py | ||
| options.py | options.py | ||
| p9-48.ico | p9-48.ico | ||
| partition_input.py | partition_input.py | ||
| platforms.py | platforms.py | ||
| prover9-mace4.py | prover9-mace4.py | ||
| setup.py | setup.py | ||
| utilities.py | utilities.py | ||
| wx_utilities.py | wx_utilities.py |
Repository files navigation
Prover9-Mace4
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 thesudo apt-get install python-wxgtk3.0 command), then simply run theprover9-mace4.py file from this directory.
About
Prover9-mace4 codebase for modernization
Resources
Stars
Watchers
Forks
Releases
No releases published