arminbiere / lingeling

Lingeling SAT Solver
99Updated last year

Alternatives and similar repositories for lingeling:

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