| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Cleanup plist | Antoine Brodin | 2014-11-12 | 1 | -1/+0 |
| | | | | | Notes: svn path=/head/; revision=372500 | ||||
| * | Bddsolve is a BDD-based tool for solving satisfiability and reachability | Beat Gaetzi | 2010-05-12 | 1 | -0/+4 |
| problems. It uses the BDD package Buddy as a backend. WWW: http://www.win.tue.nl/~wieger/bddsolve/ Submitted by: ed@ Notes: svn path=/head/; revision=254196 | |||||
