An educational purposes repository with algorithms for solving SAT problems with Groebner Basis.
pavel-fokin / symbsat Goto Github PK
View Code? Open in Web Editor NEWAn educational purposes repository with algorithms for solving SAT problems with Groebner Bases.