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