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

libbdd0c2

Binary decision-diagram library (runtime)

Variants:
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.
Homepage:
Package version:2.4-8
Architecture:mipsel
Distribution:Debian
Filename:libbdd0c2_2.4-8_mipsel.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-8) unstable; urgency=low

  * Upgraded to Standards-Version 3.9.1, removing the .la files.
    (Closes: #621250)

 -- Jens Peter Secher <jps@debian.org>  Tue, 12 Apr 2011 00:02:46 +0200

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/libb
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-8_mipsel.deb

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

Download libbdd0c2_2.4-8_mipsel.deb

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