diff options
| author | Adam C. Foltzer | 2013-04-29 13:56:46 -0700 |
|---|---|---|
| committer | Adam Vandenberg | 2013-05-03 11:37:08 -0700 |
| commit | c4e995dc66ae068d43f1df8b326ed3af3d6e6f21 (patch) | |
| tree | 282e1cfeb8aff276a9ff2e9437cdb10dcca8eb02 /Library/Formula/pyside.rb | |
| parent | 605e8a3a51784786c62b96a499ae51626aa4b6e4 (diff) | |
| download | homebrew-c4e995dc66ae068d43f1df8b326ed3af3d6e6f21.tar.bz2 | |
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 #19522.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula/pyside.rb')
0 files changed, 0 insertions, 0 deletions