[ Bron: buddy ]
Pakket: libbdd0c2 (2.4-11build1)
Verwijzigingen voor libbdd0c2
Trisquel bronnen:
Het bronpakket buddy downloaden:
Beheerder:
Original Maintainer:
- Debian QA Group
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.29)
- GNU C Library: Shared libraries
Ook een virtueel pakket geboden door: libc6-udeb
-
- dep: libgcc-s1 (>= 3.5)
- GCC support library
-
- dep: libstdc++6 (>= 4.9)
- GNU Standard C++ Library v3