Webinar: Workbrew: Secure the software your company runs

Homebrew catalog

Formula

depqbf

Solver for quantified boolean formulae (QBF)

View on formulae.brew.sh

Version: 6.03
License: GPL-3.0-or-later
Homepage: https://lonsing.github.io/depqbf/
Categories: AI & Data Science
Tags: solver

brew install depqbf

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing