A divide-and-conquer parallel SAT solver with machine learning based splitting heuristic.
Primary LanguageCOtherNOASSERTION