[ buster ]
[ Quellcode: p9m4 ]
Paket: prover9-mace4 (0.5.dfsg-3)
Links für prover9-mace4
Debian-Ressourcen:
Quellcode-Paket p9m4 herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [www.cs.unm.edu]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu prover9-mace4
|
|
|
|
-
- dep: prover9 (>= 0.0.200712-1)
- theorem prover and countermodel generator
-
- dep: python
- Interaktive objektorientierte Hochsprache (Python2-Version)
-
- dep: python-wxgtk3.0
- Python-Schnittstelle zum plattformübergreifenden C++-GUI-Werkzeugsatz wxWidgets
prover9-mace4 herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 51,4 kB | 265,0 kB | [Liste der Dateien] |