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: | |||