Hi everyone,

Just a quick question does anyone know how to create a OBDD using java?

If you guys can give me a simple example that will be appreciated.

Thanks