[ 原始碼: buddy ]
套件:libbdd0c2(2.4-11 以及其他的)
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 有關的套件
|
|
|
|
-
- dep: libc6 (>= 2.11) [除 arm64, ppc64el]
- GNU C 函式庫:共用函式庫
同時作為一個虛擬套件由這些套件填實: libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
-
- dep: libgcc1 (>= 1:3.0) [除 armel, armhf, mipsel]
- 套件暫時不可用
- dep: libgcc1 (>= 1:3.5) [armel, armhf]
- dep: libgcc1 (>= 1:4.2) [mipsel]
-
- dep: libstdc++6 (>= 4.9)
- GNU Standard C++ Library v3
下載 libbdd0c2
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
amd64 | 2.4-11+b3 | 53。1 kB | 138。0 kB | [檔案列表] |
arm64 | 2.4-11+b3 | 50。7 kB | 138。0 kB | [檔案列表] |
armel | 2.4-11+b3 | 45。6 kB | 117。0 kB | [檔案列表] |
armhf | 2.4-11+b3 | 46。1 kB | 93。0 kB | [檔案列表] |
i386 | 2.4-11+b3 | 55。4 kB | 148。0 kB | [檔案列表] |
mips64el | 2.4-11+b3 | 48。0 kB | 155。0 kB | [檔案列表] |
mipsel | 2.4-11+b3 | 46。6 kB | 146。0 kB | [檔案列表] |
ppc64el | 2.4-11+b3 | 59。4 kB | 218。0 kB | [檔案列表] |
s390x | 2.4-11+b3 | 51。0 kB | 150。0 kB | [檔案列表] |