An educational purposes repository with algorithms for solving SAT problems with Groebner Bases.
Contributions:122 commits, 42 PRs, 152 pushes in 5 years 11 months
basessolvingproblemssateducational-purposes
Contributions:30 pushes, 1 branch in 5 years 1 month