depqbf

Solver for quantified boolean formulae (QBF)

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

Current versions:

stable 6.03
head ⚡️ HEAD
bottle 🍾 high_sierra, sierra, el_capitan, yosemite

JSON API for depqbf

Formula code on GitHub

Fork me on GitHub