maximaximal / Paracooba

Distributed and ressource elastic cube-and-conquer SAT & QBF solver
18Updated 2 years ago

Alternatives and similar repositories for Paracooba:

Users that are interested in Paracooba are comparing it to the libraries listed below