From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Mon Oct 11 2004 - 17:36:23 MDT
>>>>> "lg" == luca gambardella <espuma_party_at_yahoo.it> writes:
lg> I've to change cudd_zddCountMinterms in order to get the number
lg> of minterms normalized by 2^n (the entire space). I need to
lg> modify cuddZddCountDouble Step, and I've tried so much ways to do
lg> it, but all wrongs. Who can help me?
Can you briefly describe your attempts?
This archive was generated by hypermail 2.1.7 : Mon Oct 11 2004 - 17:38:30 MDT