/SymbSAT

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

Primary LanguageC++

SymbSAT

Build Status codecov

An educational purposes repository with algorithms for solving SAT problems with Groebner Basis.