Picologic.Tseitin

tseitinCNF

dropTseitinVarsInSolutions

dropTseitinVars