[ Quellcode: buddy ]
Paket: libbdd0c2 (2.4-11)
Links für libbdd0c2
Trisquel-Ressourcen:
Quellcode-Paket buddy herunterladen:
Betreuer:
Original Maintainer:
- Debian QA Group
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.11)
- GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: libstdc++6 (>= 4.2.1)
- GNU Standard C++ Library v3
libbdd0c2 herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 50,2 kB | 144 kB | [Liste der Dateien] |
| i386 | 51,3 kB | 155 kB | [Liste der Dateien] |