wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
42221 commits 3 branches 0 tags 278 MiB
Commit graph

7 commits

Author SHA1 Message Date
Nikolaus Wittenstein
758f6e9533 Add descriptions to all remaining homebrew packages 2015-06-05 14:47:57 +01:00
BrewTestBot
c91ab1cc31 depqbf: add 4.0 bottle. 2015-03-16 16:57:41 -07:00
Baptiste Fontaine
312c814460 depqbf 4.0 
Closes Homebrew/homebrew#37248.

Signed-off-by: Tim D. Smith <git@tim-smith.us>
 2015-03-16 16:57:37 -07:00
Brett Koonce
116e0cddea depqbf 3.01 2014-04-19 12:16:26 -05:00
Brett Koonce
5fc484cefe depqbf 3.0 2014-02-15 12:35:09 -06:00
Brett Koonce
2504bfaa3d depqbf 2.0 
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
 2013-09-16 19:33:17 -07:00
Adam C. Foltzer
b1dfdf0ac8 depqbf 1.0 - solver for quantified boolean formulas 
http://lonsing.github.io/depqbf/

DepQBF is a search-based solver for quantified boolean formulae (QBF)
in prenex conjunctive normal form. It is based on the DPLL algorithm
for QBF, called QDPLL, with conflict-driven clause and solution-driven
cube learning.

Closes Homebrew/homebrew#19522.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
 2013-05-03 11:37:08 -07:00