depqbf-cert-v2

Submitter: Florian Lonsing
Description: Devised by F. Lonsing, is an extension of the depqbf solver able to certify both satisfiable and unsatisfiable QBFs.
Results: