Paket: libladr4 (0.0.200911a-2.1build1)
libladr4 için bağlantılar
Trisquel Kaynakları:
ladr Kaynak Paketini İndir:
- [ladr_0.0.200911a-2.1build1.dsc]
- [ladr_0.0.200911a.orig.tar.gz]
- [ladr_0.0.200911a-2.1build1.debian.tar.xz]
Geliştirici:
Original Maintainer:
- Debian QA Group
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.11)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
libladr4 indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
amd64 | 163,7 kB | 505 kB | [dosya listesi] |
i386 | 184,7 kB | 557 kB | [dosya listesi] |