arminbiere / lingeling

Lingeling SAT Solver
99Updated 11 months ago

Alternatives and similar repositories for lingeling:

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