summaryrefslogtreecommitdiff
path: root/science/bddsolve (follow)
Commit message (Expand)AuthorAgeFilesLines
* Mark as broken on powerpc.Mark Linimon2011-12-281-0/+4
* - remove MD5Olli Hauer2011-07-031-1/+0
* Bddsolve is a BDD-based tool for solving satisfiability and reachabilityBeat Gaetzi2010-05-124-0/+49