aboutsummaryrefslogtreecommitdiffstats
path: root/science/bddsolve
Commit message (Expand)AuthorAgeFilesLines
* Bddsolve is a BDD-based tool for solving satisfiability and reachabilitybeat2010-05-124-0/+49