aboutsummaryrefslogtreecommitdiffstats
path: root/science/bddsolve
Commit message (Expand)AuthorAgeFilesLines
* Mark as broken on powerpc.linimon2011-12-281-0/+4
* - remove MD5ohauer2011-07-031-1/+0
* Bddsolve is a BDD-based tool for solving satisfiability and reachabilitybeat2010-05-124-0/+49