make your own sdd (using rsdd)
plop in any DIMACS-formatted CNF, and get the corresponding compressed SDD!
p cnf 6 3 1 2 3 4 0 -2 -3 4 5 0 -4 -5 6 6 0
load cnf
Right Linear
Left Linear
Even Split
DTree (Min-Fill)
DTree (Linear)