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: | |||
Submitter: | Leander Tentrup | ||
Description: | Devised by L. Tentrup and M. N. Rabe, is the parallel version of the solver caqe-picosat. | ||
Results: | |||