solve cnf by enumerating models directly
build obdds with a global variable order