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

Package: libbdd0c2 (2.4-11 and others)

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.

Other Packages Related to libbdd0c2

  • depends
  • recommends
  • suggests
  • enhances

Download libbdd0c2

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 2.4-11+b1 53.3 kB139.0 kB [list of files]
arm64 2.4-11+b1 45.3 kB127.0 kB [list of files]
armel 2.4-11+b1 45.5 kB122.0 kB [list of files]
armhf 2.4-11+b1 46.7 kB98.0 kB [list of files]
i386 2.4-11+b1 55.3 kB145.0 kB [list of files]
mips 2.4-11+b1 46.9 kB151.0 kB [list of files]
mips64el 2.4-11 47.8 kB155.0 kB [list of files]
mipsel 2.4-11+b1 46.9 kB151.0 kB [list of files]
ppc64el 2.4-11+b1 50.0 kB218.0 kB [list of files]
s390x 2.4-11+b1 54.6 kB167.0 kB [list of files]