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