[ Bron: buddy ]
Pakket: libbdd0c2 (2.4-11 en anderen)
Verwijzigingen voor libbdd0c2
Debian bronnen:
Het bronpakket buddy downloaden:
Beheerder:
Externe bronnen:
- Homepage [buddy.sourceforge.net]
Vergelijkbare pakketten:
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.
Andere aan libbdd0c2 gerelateerde pakketten
|
|
|
|
-
- dep: libc6 (>= 2.11) [niet arm64]
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
-
- dep: libgcc1 (>= 1:4.1.1) [amd64, i386]
- GCC support bibliotheek
- dep: libgcc1 (>= 1:4.4.0) [armhf]
- dep: libgcc1 (>= 1:4.7) [arm64]
-
- dep: libstdc++6 (>= 4.2.1) [niet armhf]
- GNU Standard C++ Library v3
- dep: libstdc++6 (>= 4.3.0) [armhf]
libbdd0c2 downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| amd64 | 2.4-11+b1 | 53,3 kB | 139,0 kB | [overzicht] |
| arm64 | 2.4-11+b1 | 45,3 kB | 127,0 kB | [overzicht] |
| armhf | 2.4-11+b1 | 46,7 kB | 98,0 kB | [overzicht] |
| i386 | 2.4-11+b1 | 55,3 kB | 145,0 kB | [overzicht] |