all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: buddy  ]

Package: libbdd0c2 (2.4-8)

Links for libbdd0c2

Screenshot

Debian Resources:

Download Source Package buddy:

Maintainer:

External Resources:

Similar packages:

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.

Tags: Software Development: C Development, Libraries, Implemented in: C, Role: role::devel-lib, role::shared-lib

Other Packages Related to libbdd0c2

  • depends
  • recommends
  • suggests
  • enhances

Download libbdd0c2

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 62.8 kB152.0 kB [list of files]
armel 56.7 kB164.0 kB [list of files]
armhf 51.5 kB108.0 kB [list of files]
i386 54.3 kB160.0 kB [list of files]
ia64 83.5 kB368.0 kB [list of files]
kfreebsd-amd64 62.9 kB152.0 kB [list of files]
kfreebsd-i386 54.2 kB130.0 kB [list of files]
mips 54.9 kB196.0 kB [list of files]
mipsel 54.4 kB196.0 kB [list of files]
powerpc 59.8 kB192.0 kB [list of files]
s390 64.0 kB188.0 kB [list of files]
s390x 66.2 kB178.0 kB [list of files]
sparc 56.9 kB176.0 kB [list of files]