[ buster ]
[ Paquet source : p9m4 ]
Paquet : prover9-mace4 (0.5.dfsg-3)
Liens pour prover9-mace4
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source p9m4 :
Responsable :
Ressources externes :
- Page d'accueil [www.cs.unm.edu]
Paquets similaires :
interface graphique pour Prover9 et Mace4
Ce paquet fournit une interface graphique pour utiliser facilement le démonstrateur de théorème Prover9 et le générateur de contre-exemples Mace4, ainsi qu’un certain nombre de fichiers d’entrée pour exemples.
Autres paquets associés à prover9-mace4
|
|
|
|
-
- dep: prover9 (>= 0.0.200712-1)
- démonstrateur de théorème et générateur de contre-exemples
-
- dep: python
- langage interactif de haut niveau orienté objet (version Python2)
-
- dep: python-wxgtk3.0
- interface Python à wxWidgets, la boîte à outils graphique⋅C++ multi-plateforme
Télécharger prover9-mace4
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 51,4 ko | 265,0 ko | [liste des fichiers] |