toutes les options
wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Paquet source : ladr  ]

Paquet : prover9 (0.0.200902a-2.1)

Liens pour prover9

Screenshot

Ressources Debian :

Télécharger le paquet source ladr :

Responsable :

Ressources externes :

Paquets similaires :

démonstrateur de théorème et générateur de contre-exemples

Ce paquet fournit le démonstrateur de théorème de résolution et « paramodulation » Prover9 et le générateur de contre-exemples Mace4.

Prover9 est un démonstrateur de théorème automatique de calcul des prédicats du premier ordre. C’est un successeur du démonstrateur Otter. Prover9 utilise les techniques d’inférence de résolution et paramodulation ordonnées avec sélection de littéraux.

Le programme Mace4 recherche des modèles finis satisfaisant des propositions d’équation du premier ordre, du même genre que celles que Prover9 accepte. Si la proposition est la négation d’une conjecture, tout modèle trouvé par Mace4 est un contre-exemple de cette conjecture.

Mace4 peut être un complément précieux à Prover9, recherchant des contre-exemples avant (ou simultanément) l’utilisation de Prover9 pour la recherche de preuve. Il peut aussi être utilisé pour aider à déboguer des propositions et formules d’entrée pour Prover9.

Autres paquets associés à prover9

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger prover9

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 125,5 ko265,0 ko [liste des fichiers]
armel 123,2 ko274,0 ko [liste des fichiers]
armhf 114,5 ko244,0 ko [liste des fichiers]
i386 121,5 ko286,0 ko [liste des fichiers]
ia64 168,1 ko527,0 ko [liste des fichiers]
kfreebsd-amd64 125,6 ko270,0 ko [liste des fichiers]
kfreebsd-i386 120,5 ko243,0 ko [liste des fichiers]
mips 116,9 ko293,0 ko [liste des fichiers]
mipsel 115,0 ko293,0 ko [liste des fichiers]
powerpc 121,7 ko292,0 ko [liste des fichiers]
s390 132,5 ko306,0 ko [liste des fichiers]
s390x 135,4 ko351,0 ko [liste des fichiers]
sparc 116,1 ko280,0 ko [liste des fichiers]