Home
Linux temps réel embarqué et outils de développements Technique





libbdd0c2

libbdd0c2 Binary decision-diagram library (runtime)
Priority
Sectionlibs
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/


©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S