caqe-picosat-cert

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