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: | |||
Submitter: | Florian Lonsing | ||
Description: | Devised by F. Lonsing, is an extension of the depqbf solver able to certify both satisfiable and unsatisfiable QBFs. | ||
Results: | |||