[ buster ]
[ Source: p9m4 ]
Package: prover9-mace4 (0.5.dfsg-3)
Links for prover9-mace4
Debian Resources:
Download Source Package p9m4:
Maintainer:
External Resources:
- Homepage [www.cs.unm.edu]
Similar packages:
GUI for Prover9 and Mace4
This package provides a graphical user interface for easily running the Prover9 theorem prover and the Mace4 countermodel generator along with a number of sample input files.
Other Packages Related to prover9-mace4
|
|
|
|
-
- dep: prover9 (>= 0.0.200712-1)
- theorem prover and countermodel generator
-
- dep: python
- interactive high-level object-oriented language (Python2 version)
-
- dep: python-wxgtk3.0
- Python interface to the wxWidgets Cross-platform C++ GUI toolkit
Download prover9-mace4
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 51.4 kB | 265.0 kB | [list of files] |