linux
manpag.es
Search
A–Z
Sections
Topics
Packages
Depqbf
depqbf(1)
a solver for quantified boolean formulae