depqbf

Solver for quantified boolean formulae (QBF)

Current versions:
6.01HEAD

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

Formula history

ilovezfsdepqbf 6.01
ilovezfsdepqbf 5.0
ilovezfsdepqbf: fix typo in head url
Alex Dunndepqbf 4.01
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Baptiste Fontainedepqbf 4.0
Brett Kooncedepqbf 3.01
Brett Kooncedepqbf 3.0
Brett Kooncedepqbf 2.0
Adam C. Foltzerdepqbf 1.0 - solver for quantified boolean formulas