caqe-minisat-par

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