Re: changing cudd_zddCountMinterms

From: Fabio Somenzi (
Date: Mon Oct 11 2004 - 17:36:23 MDT

>>>>> "lg" == luca gambardella <> writes:

 lg> Hi,

 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