The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
Primary LanguageCMIT LicenseMIT