Command-line tool written in Go implementing the Tseitin transformation