depqbf

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

Current versions
6.03
HEAD

Recent 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

Formula code at GitHub