[ Source: buddy ]
Paketti: libbdd0c2 (2.4-6) [universe]
Links for libbdd0c2
Ubuntu-palvelut:
Imuroi lähdekoodipaketti buddy:
Ylläpitäjä:
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.
Samankaltaisia paketteja:
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/
Muut pakettiin libbdd0c2 liittyvät paketit
|
|
|
-
- dep: libc6 (>= 2.6.1-1)
- GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb
-
- dep: libgcc1 (>= 1:4.2.1)
- GCC support library
-
- dep: libstdc++6 (>= 4.2.1)
- The GNU Standard C++ Library v3
Imuroi libbdd0c2
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 59.5 kt | 176.0 kt | [tiedostoluettelo] |
| i386 | 52.2 kt | 160.0 kt | [tiedostoluettelo] |