Multistate DDs on CUDD (Python version, tulip-DD)

Question

For the masters of CUDD out there, I'm actually using the Python equivalent, tulip-dd: https://github.com/tulip-control/dd.

I'm trying to plot the MDD, or multistate decision diagram defined by:

from omega.symbolic import temporal as trl
aut = trl.Automaton()
aut.declare_variables(y=(0, 3))
u=aut.add_expr('y = 1')

One of the questions I have is how to plot the MDD. I tried:

aut.collect_garbage()
aut.dump('example_mdd_v.pdf')

But there are no such methods for Automatons.