depqbf

Solver for quantified boolean formulae (QBF)
https://lonsing.github.io/depqbf/

Current versions
6.03
HEAD

Formula history

ilovezfs depqbf 6.03
ilovezfs depqbf 6.01
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
Show all revisions of this formula