I know about CUDD. As for understanding enough about BDD to make your own algorithm...it's been almost six months since I've started to learn about BDD and still I'm not able to do it. I guess I'll just try to reduce my expresions by "hand". Thanks.

*grin* Fair enough. I just thought you may be doing stuff that could be done in code. :-O Christian Graus - Microsoft MVP - C++

See here. "Ideas are a dime a dozen. People who put them into action are priceless." - Unknown

toxcct wrote: really ?! Yeap,I gather some programing logic from there :) "Opinions are neither right nor wrong. I cannot change your opinion. I can, however, change what influences your opinion." - David Crow cheers, Alok Gupta