diff options
Diffstat (limited to 'src/aig/cnf/cnfMap.c')
-rw-r--r-- | src/aig/cnf/cnfMap.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/cnf/cnfMap.c b/src/aig/cnf/cnfMap.c index d966df15..8453e3cc 100644 --- a/src/aig/cnf/cnfMap.c +++ b/src/aig/cnf/cnfMap.c @@ -44,7 +44,8 @@ void Cnf_CutAssignAreaFlow( Cnf_Man_t * p, Dar_Cut_t * pCut, int * pAreaFlows ) Aig_Obj_t * pLeaf; int i; pCut->Value = 0; - pCut->uSign = 100 * Cnf_CutSopCost( p, pCut ); +// pCut->uSign = 100 * Cnf_CutSopCost( p, pCut ); + pCut->uSign = 10 * Cnf_CutSopCost( p, pCut ); Dar_CutForEachLeaf( p->pManAig, pCut, pLeaf, i ) { pCut->Value += pLeaf->nRefs; |