|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
libbdd0c2
libbdd0c2 | Binary decision-diagram library (runtime) | Priority | |
Section | libs |
Installed size | 128 |
Maintainer | Jens Peter Secher <jps@debian.org> |
Architecture | i386 |
Version | 2.4-5 |
Depends | libc6 (>= 2.3.2.ds1-21), libgcc1 (>= 1 |
Suggests | java-virtual-machine, libbctsp-java-doc |
File name | pool/main/b/buddy/libbdd0c2_2.4-5_i386.deb |
Description | 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/ |
|
|