Paquet : libladr-dev (0.0.200911a-2.1 et autres)

Liens pour libladr-dev

Ressources Debian :

Télécharger le paquet source ladr :

Responsable :

Debian QA Group (Page QA)

Ressources externes :

Page d'accueil [www.cs.unm.edu]

Paquets similaires :

bibliothèque de déduction LADR – fichiers de développement

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 les fichiers de prise en charge de développement pour LADR.

Étiquettes: Développement de logiciel: Bibliothèques, Rôle: Bibliothèque de programmation

Autres paquets associés à libladr-dev

dépendances

recommandations

suggestions

enhances

dep: libladr4 (= 0.0.200911a-2.1+b2)

bibliothèque de déduction LADR

Télécharger libladr-dev

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
armhf	0.0.200911a-2.1+b2	253,2 ko	1 219,0 ko	[liste des fichiers]