An educational purposes repository with algorithms for solving SAT problems with Groebner Bases.
Primary LanguageC++