[ Kaynak: buddy ]
Paket: libbdd0c2 (2.4-11 ve diğerleri)
libbdd0c2 için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
buddy Kaynak Paketini İndir:
Geliştirici:
Dış Kaynaklar:
- Ana Sayfa [buddy.sourceforge.net]
Benzer paketler:
Binary decision-diagram library (runtime)
Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. This is the runtime package for programs that use the BuDDy library.
libbdd0c2 ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libc6 (>= 2.17)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libgcc1 (>= 1:4.7)
- GCC support library
-
- dep: libstdc++6 (>= 4.2.1)
- GNU Standard C++ Library v3
libbdd0c2 indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| arm64 | 2.4-11+b1 | 45,3 kB | 127,0 kB | [dosya listesi] |