aboutsummaryrefslogtreecommitdiff
path: root/science/bddsolve/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Bddsolve is a BDD-based tool for solving satisfiability and reachabilityBeat Gaetzi2010-05-121-0/+4