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 , Sun, 6 May 2007 10:51:43 +0200