BuDDy for Debian
----------------

Documentation.
  buddy.ps:    Package documentation.
  bddnotes.ps: BDD introduction notes.

examples:
  fdd:         An example of use of the FDD interface.
  calculator:  An example of a BDD calculator. Uses reordering.
  adder:       Construction of a N-bit adder. Uses reordering.
  milner:      A calculation of the reachable statespace for Milner's
               scheduler. C++.
  cmilner:     As above but purely in ANSI-C.
  queen:       Solution to the N-queen chess problem.
  solitare:    Solution to a solitare game.
  money:       Solution to the send-more-money problem (bvec demo).

 -- Jens Peter Secher <jps@debian.org>, Sun,  6 May 2007 10:51:43 +0200

