Homebrew Formulae: depqbf

depqbf

Install command:

brew install depqbf

Solver for quantified boolean formulae (QBF)

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

License: GPL-3.0-or-later

Development: Pull requests

Formula JSON API: /api/formula/depqbf.json

Formula code: depqbf.rb on GitHub

Bottle (binary package) installation support provided for:

macOS on Apple Silicon	golden gate	✅
	tahoe	✅
	sequoia	✅
	sonoma	✅
	ventura	✅
	monterey	✅
	big sur	✅
macOS on Intel	sonoma	✅
	ventura	✅
	monterey	✅
	big sur	✅
Linux	ARM64	✅
Linux	x86_64	✅

Current versions:

stable	✅	6.03
head	⚡️	HEAD

Binaries: depqbf

Analytics:

	30 days	90 days	365 days
Installs	0	7	16
Installs on Request	0	7	16
Build Errors	0