Implementation of Piccolo in Python, generating cnf equations for SAT Solvers