SAT based minimizer for systems of polynomial equations over GF(2) - View it on GitHub