Sage ANF to CNF convert code
Sage ANF to CNF convert code

Example code where the variables and equations were produced through the python files, the sage code then converges the system of equations in ANF to DIMACS CNF.  Once in the latter form we can feed this to miniSAT.
cahlen/keeloq-python