depqbf for Mac
Solver for quantified boolean formulae (QBF)
brew install depqbf. It is distributed under the GPL-3.0-or-later licence.
What depqbf is
depqbf is a command-line tool for macOS: solver for quantified boolean formulae (QBF).
It is distributed as a Homebrew formula, which builds or pours a binary and puts it on your PATH. It is distributed under the GPL-3.0-or-later licence.
How to install depqbf
- Open Terminal (press ⌘ + Space and type “Terminal”).
- If Homebrew is not installed yet, run the installer below once.
- Run
brew install depqbf.
Homebrew installer, if you need it:
Similar apps in Command-Line Tools
Closest apps in the same category, ordered by description similarity and install base. These are related tools, not confirmed substitutes; the comparison pages cover hand-picked head-to-head matchups.
Frequently asked questions
How do I install depqbf on Mac?
Run brew install depqbf in Terminal. This requires Homebrew; if you do not have it, install it first with the command below.
Is depqbf open source?
Yes — Homebrew distributes it under the GPL-3.0-or-later licence.
Does depqbf run on Apple silicon?
Homebrew publishes this formula for macOS. If upstream does not ship an Apple silicon build, Rosetta 2 handles the Intel binary.
How popular is depqbf?
Homebrew does not publish a 30-day install count for this package, which usually means it is installed directly rather than through the analytics-reporting path.
What version of depqbf is current?
The latest packaged version is 6.03.