caqe-picosat-par

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