# Difference between revisions of "Package sat"

This package allows to solve polynomial systems over ${\displaystyle \mathbb {Z} /2\mathbb {Z} }$ by first converting the system to CNF-SAT in DIMACS format and then using a SAT solver to solve the resulting conjunctive normal form.