compiling one CNF to lots of OBDDs
print cnf listlike