[ buster ]
[ Källkod: ladr ]
Paket: ladr4-apps (0.0.200911a-2.1 och andra)
Länkar för ladr4-apps
Debianresurser:
Hämta källkodspaketet ladr:
Ansvarig:
Externa resurser:
- Hemsida [www.cs.unm.edu]
Liknande paket:
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.
Andra paket besläktade med ladr4-apps
|
|
|
|
-
- dep: libc6 (>= 2.7)
- GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
-
- dep: libladr4 (>= 0.0.200902a)
- the LADR deduction library
-
- dep: python
- interactive high-level object-oriented language (Python2 version)
-
- rec: prover9-doc (<< 0.0.200902b)
- documentation for Prover9 and associated programs
- rec: prover9-doc (>> 0.0.200902a)
Hämta ladr4-apps
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| i386 | 0.0.200911a-2.1+b2 | 152,9 kbyte | 1.015,0 kbyte | [filförteckning] |