science/bddsolve/pkg-descr

   1 Bddsolve is a BDD-based tool for solving satisfiability and reachability
   2 problems.  It uses the BDD package Buddy as a backend.
   3
   4 WWW: http://www.win.tue.nl/~wieger/bddsolve/