depqbf

Solver for quantified boolean formulae (QBF)

Current versions:
5.0 HEAD

Homepage: https://lonsing.github.io/depqbf/

Formula history

ilovezfs depqbf 5.0
ilovezfs depqbf: fix typo in head url
Alex Dunn depqbf 4.01
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Baptiste Fontaine depqbf 4.0
Brett Koonce depqbf 3.01
Brett Koonce depqbf 3.0
Brett Koonce depqbf 2.0
Adam C. Foltzer depqbf 1.0 - solver for quantified boolean formulas