HTTP
Home
Projekte
Login
Interchange
Debian
Links
AGB
Kontakt
Wiki
Stichwortsuche
ALSA
Apache
CD
CPAN
ClamAV
DAV
DBI
DNS
DVD
Debian
Drupal
Emacs
Exim
FTP
Firefox
GNOME
HTTP
Hattrick
IMAP
IRC
Interchange
Java
JavaScript
KDE
LDAP
MIME
Mozilla
MySQL
Nagios
PHP
Perl
PostgreSQL
Python
RT
Ruby
SMTP
SOAP
SSH
SSL
Samba
TLS
Tomcat
XML
XSL
erp
Paketsuche
Debianpakete
appconfig
cgi-extratags-perl
ciphersaber
courier
courier
courier-authlib
dbix-easy-perl
debaux
interchange
interchange-doc
jfsutils
libmime-lite-html-perl
libtext-mediawikiformat-perl
libtie-shadowhash-perl
pure-ftpd
pure-ftpd
safe-hole-perl
set-crontab-perl
Kunden/Partner
B&N
Box of Rain
COBOLT NetServices
ecoservice
Gish Network
IIP/IR Vienna
Informa
L & D Computer
LinSoft IT
M & D
materialboerse.de
Media Business Software
Medical Business Solutions
Net Stores
NextCall
RUEB
Tenalt
Transfair-Net GmbH
Ulisses
WebHostNY.com
Wegacell
West Branch Angler
Wintime IT Solutions
libbdd0c2: Binary decision-diagram library (runtime)
Distribution
Debian unstable
Abteilung
libs
Quelle
buddy
Version
2.4-7
Maintainer
Jens Peter Secher
<
jps@debian.org
>
Beschreibung
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.
Abhängig von
libc6
(>= 2.7),
libgcc1
(>= 1:4.1.1),
libstdc++6
(>= 4.2.1)
Offizielle Seiten
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket)
Download
amd64
Projekte
Systemadministration für Internetagentur
Mehr erfahren ...
Marktplatz für elektronische Bauelemente
Mehr erfahren ...
Reengineering e-procurement System
Mehr erfahren ...
Foreign Service National Training Database
Mehr erfahren ...
Marktplatz für Musikinstrumente und Zubehör
Mehr erfahren ...
