[ buster ]
[ Kaynak: ladr ]
Paket: libladr-dev (0.0.200911a-2.1 ve diğerleri)
libladr-dev 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, development files
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 development support files for LADR.
libladr-dev ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libladr4 (= 0.0.200911a-2.1+b2)
- the LADR deduction library
libladr-dev indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| amd64 | 0.0.200911a-2.1+b2 | 278,2 kB | 1.584,0 kB | [dosya listesi] |
| arm64 | 0.0.200911a-2.1+b2 | 252,1 kB | 1.506,0 kB | [dosya listesi] |
| armhf | 0.0.200911a-2.1+b2 | 253,2 kB | 1.219,0 kB | [dosya listesi] |
| i386 | 0.0.200911a-2.1+b2 | 303,7 kB | 1.483,0 kB | [dosya listesi] |