[ Bron: buddy ]
Pakket: libbdd0c2 (2.4+dfsg-2)
Verwijzigingen voor libbdd0c2
Debian bronnen:
Het bronpakket buddy downloaden:
Beheerder:
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 Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
-
- dep: libgcc-s1 (>= 3.5)
- GCC support bibliotheek
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ Library v3