[Buddy-users] A simple question about BuDDy

[Qin Y. <qin...@ya...>]

Dear Haim Cohen,

I am a new user of BuDDy. To find all the satisfying
assignments of a bdd, I find that "bdd_allsat()" is
not enough for me. For example, 
    bdd a = bdd_ithvar(0);
    bdd b = bdd_ithvar(1);
    bdd c = bdd_ithvar(2);

    bdd x = a & !b & c;
    x |= a & !b & !c;
The satisfying assignments of x are [1,0,1] and
[1,0,0]. However, "allsatHandler()" provides the
assignment of [1,0,X] ('X' means notcare). Could you
tell me if there is any interface that I can use to
obtain all the unique assignments (not including 'X')
similarly?

Thanks a lot!

Best Regards,
Qin


		
____________________________________________________
Start your day with Yahoo! - make it your home page 
http://www.yahoo.com/r/hs