Hello,

I am using CUDD package for creating BDD from the given benchmark and then storing that BDD in a file, for one of my projects.

I have created the BDD, but I have a hard time storing that BDD in a file.

I have attached one simple example where I am creating the BDD and viewing it also.
test.txt

Can you walk me through storing the BDD in a file? Because struct like dddmpVarInfo has many variables and I am guessing we don't have to write each and every variable on our own?

Thanks and Regards,

Sincerely,

Aadil Hoda
IIT Guwahati, India