| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-04-19 | depqbf 3.01 | Brett Koonce |
| 2014-02-15 | depqbf 3.0 | Brett Koonce |
| 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 |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-04-19 | depqbf 3.01 | Brett Koonce |
| 2014-02-15 | depqbf 3.0 | Brett Koonce |
| 2013-09-16 | depqbf 2.0 | Brett Koonce |
| 2013-05-03 | depqbf 1.0 - solver for quantified boolean formulas | Adam C. Foltzer |