Tseitin_CLI: Transform boolean equation to CNF with Tseitin Transformationgithub.com/mauzigoe1 pointthunderbonga year ago