libbdd-dev_2.4-11_amd64.deb


Advertisement

Description

libbdd-dev - Binary decision-diagram library (development)

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libbdd-dev
Package version 2.4
Package release 11
Package architecture amd64
Package type deb
Installed size 696 B
Download size 447.10 KB
Official Mirror ftp.br.debian.org
Binary decision diagrams (BDDs) are space-efficient encodings of
boolean expressions or dynamic truth tables, used in eg. model
checking.  BuDDy is an efficient BDD library with all the standard
BDD operations, dynamic reordering of variables, automated garbage
collection, a C++ interface with automatic reference counting, and
more.
libbdd-dev is the BuDDy development package containing a static
library and the include files needed for building applications using
BuDDy.

Alternatives

Package Version Architecture Repository
libbdd-dev_2.4-11_i386.deb 2.4 i386 Debian Main
libbdd-dev - - -

Requires

Name Value
libbdd0c2 = 2.4-11
libc-dev -
libc6-dev -

Download

Type URL
Binary Package libbdd-dev_2.4-11_amd64.deb
Source Package buddy

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libbdd-dev deb package:
    # sudo apt-get install libbdd-dev

Files

Path
/usr/include/bdd.h
/usr/include/bvec.h
/usr/include/fdd.h
/usr/lib/libbdd.a
/usr/lib/libbdd.so
/usr/share/doc/libbdd-dev/README.Debian
/usr/share/doc/libbdd-dev/README.gz
/usr/share/doc/libbdd-dev/bddnotes.ps.gz
/usr/share/doc/libbdd-dev/buddy.ps.gz
/usr/share/doc/libbdd-dev/changelog.Debian.gz
/usr/share/doc/libbdd-dev/changelog.gz
/usr/share/doc/libbdd-dev/copyright
/usr/share/doc/libbdd-dev/tech.txt.gz
/usr/share/doc/libbdd-dev/examples/Makefile.am
/usr/share/doc/libbdd-dev/examples/Makefile.def
/usr/share/doc/libbdd-dev/examples/Makefile.in.gz
/usr/share/doc/libbdd-dev/examples/adder.cxx
/usr/share/doc/libbdd-dev/examples/bddtest.cxx
/usr/share/doc/libbdd-dev/examples/c1355.cal.gz
/usr/share/doc/libbdd-dev/examples/c1908.cal.gz
/usr/share/doc/libbdd-dev/examples/c2670.cal.gz
/usr/share/doc/libbdd-dev/examples/c3540.cal.gz
/usr/share/doc/libbdd-dev/examples/c432.cal.gz
/usr/share/doc/libbdd-dev/examples/c499.cal.gz
/usr/share/doc/libbdd-dev/examples/cmilner.c.gz
/usr/share/doc/libbdd-dev/examples/example.cal
/usr/share/doc/libbdd-dev/examples/expected.gz
/usr/share/doc/libbdd-dev/examples/fdd.cxx
/usr/share/doc/libbdd-dev/examples/hashtbl.cxx
/usr/share/doc/libbdd-dev/examples/hashtbl.h
/usr/share/doc/libbdd-dev/examples/lexer.cxx.gz
/usr/share/doc/libbdd-dev/examples/lexer.lxx
/usr/share/doc/libbdd-dev/examples/milner.cxx
/usr/share/doc/libbdd-dev/examples/money.cxx
/usr/share/doc/libbdd-dev/examples/parser.cxx.gz
/usr/share/doc/libbdd-dev/examples/parser.h
/usr/share/doc/libbdd-dev/examples/parser.yxx.gz
/usr/share/doc/libbdd-dev/examples/parser_.h
/usr/share/doc/libbdd-dev/examples/queen.cxx
/usr/share/doc/libbdd-dev/examples/readme
/usr/share/doc/libbdd-dev/examples/runregression
/usr/share/doc/libbdd-dev/examples/runtest
/usr/share/doc/libbdd-dev/examples/slist.h.gz
/usr/share/doc/libbdd-dev/examples/solitare.cxx.gz

Changelog

2014-10-09 - Matthias Klose <doko@debian.org>
buddy (2.4-11) unstable; urgency=medium
* QA upload.
* Build-depend on libtool-bin. Closes: #761735.
2014-08-19 - Aurelien Jarno <aurel32@debian.org>
buddy (2.4-10) unstable; urgency=medium
* QA upload.
* Use dh-autoreconf instead of autotools-dev (Closes: #744070).
2014-03-23 - Emanuele Rocca <ema@debian.org>
buddy (2.4-9) unstable; urgency=low
* QA upload.
* Maintainer field set to QA Group.
* Build with default compiler flags.
* Bump Standards-Version to 3.9.5.
* Add missing debian/rules targets: build-arch, build-indep.
* Set debhelper compatibility level to 9.
2011-04-12 - Jens Peter Secher <jps@debian.org>
buddy (2.4-8) unstable; urgency=low
* Upgraded to Standards-Version 3.9.1, removing the .la files.
(Closes: #621250)
2010-04-17 - Jens Peter Secher <jps@debian.org>
buddy (2.4-7) unstable; urgency=low
* Converted to dpkg-source format quilt (3.0).
* Use mercurial-buildpackage for package package maintenance through
http://hg.debian.org/hg/collab-maint/libbdd.
* Converted to debhelper 7 and use dh_prep and misc:Depends.
* Upgraded to Standards-Version 3.8.4, using the Homepage control field.
* Removed obsolete conflicts etc.
2007-05-06 - Jens Peter Secher <jps@debian.org>
buddy (2.4-6) unstable; urgency=low
* Removed watch file since it does not work reliably.
(Closes: bug#450058).
* Use ${binary:Version} in control to allow binNMU.
* Bumped Standards-Version to 3.7.2.
* Stop Lintian complaining about outdated autotools files, since these
files are overwritten automatically.
2005-07-25 - Jens Peter Secher <jps@debian.org>
buddy (2.4-5) unstable; urgency=low
* Automatically link to most recent config.{sub,guess} to avoid further
failed builds. (Closes: bug#319882)
2005-07-21 - Jens Peter Secher <jps@debian.org>
buddy (2.4-4) unstable; urgency=low
* Changed shared-library package name due to GCC4 transition ABI change,
essentially just applying Ubuntu patch from Stephan Hermann.
* Bumped Standards-Version.
2005-03-01 - Jens Peter Secher <jps@debian.org>
buddy (2.4-3) unstable; urgency=low
* Improved the description of the packages.
* Rewrote this changelog so it is easier to see what has been going on,
and uploading with the full changelog.
* Uploading as official Debian package. (Closes: bug#148764)
2005-01-12 - Jens Peter Secher <jps@debian.org>
buddy (2.4-2) unstable; urgency=low
* Changed control and rules files to build unversioned -dev package
instead of versioned -dev package, and furthermore conflict with the
versioned -dev package.

See Also

Package Description
libbdd0c2_2.4-11_amd64.deb Binary decision-diagram library (runtime)
libbde-dev_20140731-1_amd64.deb Library to access the BitLocker Drive Encryption (BDE) format
libbde-utils_20140731-1_amd64.deb Tools to access the BitLocker Drive Encryption (BDE) format
libbde1_20140731-1_amd64.deb Library to access the BitLocker Drive Encryption (BDE) format
libbeansbinding-java-doc_1.2.1-1_all.deb Beans Binding API (documentation)
libbeansbinding-java_1.2.1-1_all.deb Beans Binding API (library)
libbeecrypt-dev_4.2.1-4_amd64.deb header files for beecrypt, a library of cryptographic algorithms
libbeecrypt7_4.2.1-4_amd64.deb open source C library of cryptographic algorithms
libbellesip-dev_1.3.0-1.1+b1_amd64.deb SIP stack from the Linphone team (development files)
libbellesip0_1.3.0-1.1+b1_amd64.deb SIP stack from the Linphone team
libben-ocaml-dev_0.7.0+deb8u1_amd64.deb OCaml libraries for Debian maintainers (development package)
libben-ocaml_0.7.0+deb8u1_amd64.deb OCaml libraries for Debian maintainers (runtime package)
libbenchmark-apps-perl_0.04-1_all.deb simple module to benchmark applications
libbenchmark-ocaml-dev_1.2-1+b1_amd64.deb OCaml benchmarking library
libbenchmark-progressbar-perl_0.00001-1_all.deb Perl module that displays progress bar during benchmarking
Advertisement
Advertisement