compiling CUDD

From: luca gambardella (espuma_party_at_yahoo.it)
Date: Fri Oct 08 2004 - 06:37:39 MDT

• Next message: R. Manitra: "Re: I cannot read blif file"
• Previous message: Solaiman Rahim: "Re: I cannot read blif file"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi to everyone,
I've the following problem.
I've to modify the number of minterms of the function cudd_zddCountMinterm in order to obtain the normalized value of minterms (e.g. minterms / 2^n, so return type does not change).
Have I only type "make" at the top level in the cudd directory, or do more?
 
Thanks in advance

                                
---------------------------------
Nuovo Yahoo! Messenger E' molto più divertente: Audibles, Avatar, Webcam, Giochi, Rubrica… Scaricalo ora!

• Next message: R. Manitra: "Re: I cannot read blif file"
• Previous message: Solaiman Rahim: "Re: I cannot read blif file"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Fri Oct 08 2004 - 06:42:29 MDT