An educational purposes repository with algorithms for solving SAT problems with Groebner Bases. - View it on GitHub