toutes les options
buster  ]
[ Paquet source : ladr  ]

Paquet : ladr4-apps (0.0.200911a-2.1 et autres)

Liens pour ladr4-apps

Screenshot

Ressources Debian :

Télécharger le paquet source ladr :

Responsable :

Ressources externes :

Paquets similaires :

bibliothèque de déduction LADR – diverses applications

LADR (Library for Automated Deduction Research – bibliothèque pour la recherche déductive automatique) est une bibliothèque utilisable dans la construction de démonstrateur de théorème. Entre autres routines utiles, elle fournit des moyens pour appliquer les règles d'inférence telles que la résolution et la « paramodulation » de propositions. LADR est utilisée par le démonstrateur de théorème Prover9 et par le générateur de contre-exemples Mace4.

Ce paquet fournit diverses applications LADR.

Autres paquets associés à ladr4-apps

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger ladr4-apps

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 0.0.200911a-2.1+b2 156,1 ko991,0 ko [liste des fichiers]
arm64 0.0.200911a-2.1+b2 127,0 ko961,0 ko [liste des fichiers]
armhf 0.0.200911a-2.1+b2 129,9 ko739,0 ko [liste des fichiers]
i386 0.0.200911a-2.1+b2 152,9 ko1 015,0 ko [liste des fichiers]