[ buster ]
[ Kaynak: ladr ]
Paket: libladr4 (0.0.200911a-2.1 ve diğerleri)
libladr4 için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
ladr Kaynak Paketini İndir:
Geliştirici:
Dış Kaynaklar:
- Ana Sayfa [www.cs.unm.edu]
Benzer paketler:
the LADR deduction library
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.
libladr4 ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.2.5) [amd64]
- dep: libc6 (>= 2.4) [armhf]
libladr4 indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| amd64 | 0.0.200911a-2.1+b2 | 183,8 kB | 520,0 kB | [dosya listesi] |
| arm64 | 0.0.200911a-2.1+b2 | 153,3 kB | 472,0 kB | [dosya listesi] |
| armhf | 0.0.200911a-2.1+b2 | 155,1 kB | 344,0 kB | [dosya listesi] |
| i386 | 0.0.200911a-2.1+b2 | 206,0 kB | 572,0 kB | [dosya listesi] |