[ buster ]
[ Source: ladr ]
Package: ladr4-apps (0.0.200911a-2.1 and others)
Links for ladr4-apps
Debian Resources:
Download Source Package ladr:
Maintainer:
External Resources:
- Homepage [www.cs.unm.edu]
Similar packages:
LADR-deduktionsbiblioteket, diverse programmer
LADR (Library for Automated Deduction Research) er et bibliotek for brug i konstruktion af beviser for læresætninger. Blandt andre brugbare rutiner, tilbyder det faciliteter for anvendelse af bestemmelsesregler, såsom opløsning og paramodulation for klausuler. LADR bruges af beviset for prover9-læresætningen og af opretteren for mace4-modmodellen.
Denne pakke tilbyder diverse LADR-programmer.
Other Packages Related to ladr4-apps
|
|
|
|
-
- dep: libc6 (>= 2.17) [arm64]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.7) [not arm64]
-
- dep: libladr4 (>= 0.0.200902a)
- LADR-deduktionsbiblioteket
-
- dep: python
- Interaktivt objektorienteret sprog på højt niveau - Python 2-version
-
- rec: prover9-doc (<< 0.0.200902b)
- dokumentation for Prover9 og associerede programmer
- rec: prover9-doc (>> 0.0.200902a)
Download ladr4-apps
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 0.0.200911a-2.1+b2 | 156.1 kB | 991.0 kB | [list of files] |
| arm64 | 0.0.200911a-2.1+b2 | 127.0 kB | 961.0 kB | [list of files] |
| armhf | 0.0.200911a-2.1+b2 | 129.9 kB | 739.0 kB | [list of files] |
| i386 | 0.0.200911a-2.1+b2 | 152.9 kB | 1,015.0 kB | [list of files] |