depqbf-cert-v1

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