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.