[ etiona ]
[ Paquet source : p9m4 ]
Paquet : prover9-mace4 (0.5.dfsg-3)
Liens pour prover9-mace4
Ressources Trisquel :
Télécharger le paquet source p9m4 :
Responsable :
Original Maintainer:
- Debian QA Group
Ressources externes :
- Page d'accueil [www.cs.unm.edu]
Paquets similaires :
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.
Autres paquets associés à prover9-mace4
|
|
|
-
- dep: prover9 (>= 0.0.200712-1)
- theorem prover and countermodel generator
-
- dep: python
- interactive high-level object-oriented language (default version)
-
- dep: python-wxgtk3.0
- Python interface to the wxWidgets Cross-platform C++ GUI toolkit
Télécharger prover9-mace4
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 51,4 ko | 265 ko | [liste des fichiers] |