K 10
svn:author
V 4
beat
K 8
svn:date
V 27
2010-05-12T13:25:37.000000Z
K 7
svn:log
V 193
Bddsolve is a BDD-based tool for solving satisfiability and reachability
problems.  It uses the BDD package Buddy as a backend.

WWW: http://www.win.tue.nl/~wieger/bddsolve/

Submitted by:	ed@

END