make your own bdd (using rsdd)

plop in any DIMACS-formatted CNF, and get the corresponding canonical (O)BDD (with an ordering of your choice!)