I am a new buddy user and I want to use buddy's ROBDDs in some research project. In this project I need to use the restrict function to assign a value to an ordered variable in the BDD and also I need something to un-restrict or in other words to backtrack from restricting the variable (returning the BDD to its state before restricting some variable in it). Is that possible in Buddy? if not, do you beleive that I could implement this feature in Buddy and how?
I would really appreciate your help.
Islam Elkabani.