Paket: libbdd0c2 (2.4-11)
libbdd0c2 için bağlantılar
Trisquel Kaynakları:
buddy Kaynak Paketini İndir:
Geliştirici:
Original Maintainer:
- Debian QA Group
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.11)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: libstdc++6 (>= 4.2.1)
- GNU Standard C++ Library v3
libbdd0c2 indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
amd64 | 50,2 kB | 144 kB | [dosya listesi] |
i386 | 51,3 kB | 155 kB | [dosya listesi] |