| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-09-16 | depqbf 2.0 | Brett Koonce |
| 2013-05-03 | depqbf 1.0 - solver for quantified boolean formulas | Adam C. Foltzer |
 |
index : homebrew | |
| :beer: The missing package manager for OS X. |
| aboutsummaryrefslogtreecommitdiffstats |