depqbf

Solver for quantified boolean formulae (QBF) problems

brewmacoslinux

Try with needOr install directly

About

Solver for quantified boolean formulae (QBF)

depqbf

Solve a QBF formula from a file in QDIMACS format$ depqbf formula.qdimacs

Solve QBF with verbose output showing solver statistics$ depqbf -v formula.qdimacs

Solve QBF formula and show assignment of variables$ depqbf --trace formula.qdimacs