Lingeling SAT Solver
Primary LanguageCMIT LicenseMIT
CMake-enabled version of Armin Biere's lingeling sat solver.
