caqe-minisat-cert

Submitter: Leander Tentrup
Description: Devised by L. Tentrup and M. N. Rabe, is the version for certification of the solver caqe-minisat.
Results: