Man Pages in depqbf

Section 1: Executable programs or shell commands

depqbf.1

A solver for quantified boolean formulae