search

ivmai / cudd

CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)
BSD 3-Clause "New" or "Revised" License
117 stars 65 forks source link

Storing BDD in a file. #3

Open AadilHoda1 opened 4 years ago

AadilHoda1 commented 4 years ago

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

ivmai commented 4 years ago

Hello,

I'm not a maintainer of this repository, please contact the author.