[ Quellcode: buddy ]
Paket: libbdd0c2 (2.4+dfsg-2 und andere)
Links für libbdd0c2
Debian-Ressourcen:
Quellcode-Paket buddy herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [buddy.sourceforge.net]
Ähnliche Pakete:
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 Pakete mit Bezug zu libbdd0c2
|
|
|
|
-
- dep: libc6 (>= 2.27) [riscv64]
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
- dep: libc6 (>= 2.29) [nicht alpha, ia64, riscv64, sh4]
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.29) [alpha]
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [nicht armel, armhf, hppa, ia64, m68k]
- GCC Support-Bibliothek
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [ia64]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- GCC Support-Bibliothek
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC Support-Bibliothek
-
- dep: libstdc++6 (>= 13.1)
- GNU-Implementierung der Standard-C++-Bibliothek (Version 3)
-
- dep: libunwind8 [ia64]
- Bibliothek zur Ermittlung der Aufrufkette eines Programms - Laufzeit
libbdd0c2 herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| alpha (inoffizielle Portierung) | 2.4+dfsg-2 | 54,5 kB | 216,0 kB | [Liste der Dateien] |
| amd64 | 2.4+dfsg-2 | 54,8 kB | 144,0 kB | [Liste der Dateien] |
| arm64 | 2.4+dfsg-2+b1 | 52,0 kB | 153,0 kB | [Liste der Dateien] |
| armel | 2.4+dfsg-2 | 46,6 kB | 123,0 kB | [Liste der Dateien] |
| armhf | 2.4+dfsg-2 | 46,6 kB | 99,0 kB | [Liste der Dateien] |
| hppa (inoffizielle Portierung) | 2.4+dfsg-2 | 51,2 kB | 149,0 kB | [Liste der Dateien] |
| i386 | 2.4+dfsg-2 | 56,8 kB | 150,0 kB | [Liste der Dateien] |
| ia64 (inoffizielle Portierung) | 2.4+dfsg-2 | 66,7 kB | 267,0 kB | [Liste der Dateien] |
| m68k (inoffizielle Portierung) | 2.4+dfsg-2 | 44,6 kB | 119,0 kB | [Liste der Dateien] |
| mips64el | 2.4+dfsg-2 | 47,4 kB | 161,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 2.4+dfsg-2 | 62,0 kB | 218,0 kB | [Liste der Dateien] |
| ppc64el | 2.4+dfsg-2 | 60,6 kB | 216,0 kB | [Liste der Dateien] |
| riscv64 | 2.4+dfsg-2 | 56,4 kB | 128,0 kB | [Liste der Dateien] |
| s390x | 2.4+dfsg-2 | 57,7 kB | 164,0 kB | [Liste der Dateien] |
| sh4 (inoffizielle Portierung) | 2.4+dfsg-2 | 55,1 kB | 151,0 kB | [Liste der Dateien] |
| sparc64 (inoffizielle Portierung) | 2.4+dfsg-2 | 46,7 kB | 1.052,0 kB | [Liste der Dateien] |
| x32 (inoffizielle Portierung) | 2.4+dfsg-2 | 53,7 kB | 139,0 kB | [Liste der Dateien] |