Filewatcher File Search File Search
Catalog
Content Search
» » » » »

libbdd0c2

Binary decision-diagram library (runtime)

Variants:
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/

Homepage:-
Package version:2.4-5
Architecture:i386
Distribution:Debian
Filename:libbdd0c2_2.4-5_i386.deb

/usr/share/doc/libbdd0c2/NEWS.gz

----------------------------------------------------------------------------
   User visible changes to BuDDy
----------------------------------------------------------------------------

+  means added code
x  means bugfix or changed code
-  means removed code

VER 2.4 (July 2004)
-------------------
  + Using configure script for the build process.
  + Adding runregression script which runs exam
more»

/usr/share/doc/libbdd0c2/changelog.Debian.gz

buddy (2.4-5) unstable; urgency=low

  * Automatically link to most recent config.{sub,guess} to avoid further
    failed builds. (Closes: bug#319882)

 -- Jens Peter Secher <jps@debian.org>  Mon, 25 Jul 2005 23:28:02 +0200

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
more»

/usr/share/doc/libbdd0c2/changelog.gz

2004-07-22  haimcohen  <haimcohen@users.sourceforge.net>

	* NEWS 1.2, ChangeLog 1.4: *** empty log message ***

	* examples/solitare/Makefile.am 1.3, examples/solitare/expected 1.2, examples/solitare/runtest 1.2:
	Solitare will not be included in the regression since it takes too much time to run

2004-07-21  haimcohen  <haimcohen@users.sourceforge.net>

	* ChangeLog 1.3, examples/bddcalc/expecte
more»

/usr/share/doc/libbdd0c2/AUTHORS

Jorn Lind-Nielsen - Original Developer
Alan Mishchenko
Gerd Behrmann
Henrik Hulgaard
Henrik Reif And
more»

/usr/share/doc/libbdd0c2/copyright

This package was made by Jens Peter Secher <jps@debian.org> Dec 2004.

The source was downloaded fro
more»

Browse inside libbdd0c2_2.4-5_i386.deb

         [DIR]DEBIAN/ (5)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download libbdd0c2_2.4-5_i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com