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

4 commits

Author SHA1 Message Date
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