Distributed and ressource elastic cube-and-conquer SAT & QBF solver
Primary LanguageC++OtherNOASSERTION