Paquet : ladr4-apps (0.0.200911a-2.1build1)
Liens pour ladr4-apps
Ressources Trisquel :
Télécharger le paquet source ladr :
- [ladr_0.0.200911a-2.1build1.dsc]
- [ladr_0.0.200911a.orig.tar.gz]
- [ladr_0.0.200911a-2.1build1.debian.tar.xz]
Responsable :
Original Maintainer:
- Debian QA Group
Ressources externes :
- Page d'accueil [www.cs.unm.edu]
Paquets similaires :
the LADR deduction library, miscellaneous applications
LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator.
This package provides miscellaneous LADR applications.
Autres paquets associés à ladr4-apps
|
|
|
-
- dep: libc6 (>= 2.11)
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libladr4 (>= 0.0.200902a)
- the LADR deduction library
-
- dep: python
- interactive high-level object-oriented language (default version)
-
- rec: prover9-doc (<< 0.0.200902b)
- documentation for Prover9 and associated programs
- rec: prover9-doc (>> 0.0.200902a)
Télécharger ladr4-apps
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
amd64 | 134,0 ko | 972 ko | [liste des fichiers] |
i386 | 130,9 ko | 996 ko | [liste des fichiers] |