Old test converted to CppUnit
converter to 3-CNF
converter to 3 cnf tools