Paquet : libladr4 (0.0.200911a-2.1 et autres)

[ Paquet source : ladr  ]

bibliothèque de déduction LADR

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.

Étiquettes: Rôle: Bibliothèque partagée

Autres paquets associés à libladr4

• dep: libc6 (>= 2.1.3) [i386]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

  dep: libc6 (>= 2.17) [arm64]

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.4) [armhf]

Télécharger libladr4

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	183,8 ko	520,0 ko	[liste des fichiers]
arm64	0.0.200911a-2.1+b2	153,3 ko	472,0 ko	[liste des fichiers]
armhf	0.0.200911a-2.1+b2	155,1 ko	344,0 ko	[liste des fichiers]
i386	0.0.200911a-2.1+b2	206,0 ko	572,0 ko	[liste des fichiers]