depqbf — Homebrew Formulae

depqbf

Install command:

brew install depqbf

Solver for quantified boolean formulae (QBF)

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

License: GPL-3.0-or-later

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

Bottle JSON API: /api/bottle/depqbf.json

Formula code: depqbf.rb on GitHub

Bottle (binary package) installation support provided for:


Intel	ventura	✅
	monterey	✅
	big sur	✅
	catalina	✅
	mojave	✅
	high sierra	✅
	sierra	✅
	el capitan	✅
	64-bit linux	✅
Apple Silicon	ventura	✅
	monterey	✅
	big sur	✅

Current versions:

stable	✅	6.03
head	⚡️	HEAD

Analytics (macOS):

Installs (30 days)
`depqbf`	0
Installs on Request (30 days)
`depqbf`	0
Build Errors (30 days)
`depqbf`	0
Installs (90 days)
`depqbf`	1
Installs on Request (90 days)
`depqbf`	1
Installs (365 days)
`depqbf`	6
Installs on Request (365 days)
`depqbf`	6

Analytics (Linux):

Installs (30 days)
`depqbf`	0
Installs on Request (30 days)
`depqbf`	0
Build Errors (30 days)
`depqbf`	0
Installs (90 days)
`depqbf`	0
Installs on Request (90 days)
`depqbf`	0
Installs (365 days)
`depqbf`	0
Installs on Request (365 days)
`depqbf`	0

Fork me on GitHub