[ Quellcode: buddy ]
Paket: libbdd0c2 (2.4-6) [universe]
Links für libbdd0c2
Ubuntu-Ressourcen:
Quellcode-Paket buddy herunterladen:
Betreuer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Jens Peter Secher
It should generally not be necessary for users to contact the original maintainer.
Ähnliche Pakete:
Binary decision-diagram library (runtime)
binary decision diagram (BDD) 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 BDD library.
Homepage: http://buddy.sourceforge.net/
Andere Pakete mit Bezug zu libbdd0c2
|
|
|
-
- dep: libc6 (>= 2.6.1-1)
- GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libgcc1 (>= 1:4.2.1)
- GCC support library
-
- dep: libstdc++6 (>= 4.2.1)
- The GNU Standard C++ Library v3
libbdd0c2 herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 59,5 kB | 176,0 kB | [Liste der Dateien] |
| i386 | 52,2 kB | 160,0 kB | [Liste der Dateien] |