← all formulas
depqbf
Solver for quantified boolean formulae (QBF)
- Version
- v6.03
- License
- GPL-3.0-or-later
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install depqbf