Commit graph

2 commits

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