Paket: libbdd0c2 (2.4+dfsg-2) [debports]
libbdd0c2 için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
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.37)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- GCC support library
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ Library v3
libbdd0c2 indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
sh4 (resmi olmayan port) | 55,1 kB | 151,0 kB | [dosya listesi] |