Homebrew Formulae

depqbf

Solver for quantified boolean formulae (QBF)

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

/api/formula/depqbf.json (JSON API)

Formula code on GitHub

Current versions:

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