Commit 02559348 by Alan Mishchenko

Improving CEC (command 'dcec') by integrating XOR balancing.

parent 94b26fe5
...@@ -416,7 +416,7 @@ clk = Abc_Clock(); ...@@ -416,7 +416,7 @@ clk = Abc_Clock();
RetValue = Fra_FraigSat( pAig, (ABC_INT64_T)nBTLimitLast, (ABC_INT64_T)0, 0, 0, 0, 1, 0, 0, 0 ); RetValue = Fra_FraigSat( pAig, (ABC_INT64_T)nBTLimitLast, (ABC_INT64_T)0, 0, 0, 0, 1, 0, 0, 0 );
if ( fVerbose ) if ( fVerbose )
{ {
printf( "Final SAT: Nodes = %6d. ", Aig_ManNodeNum(pAig) ); printf( "Final SAT: Nodes = %6d. ", Aig_ManNodeNum(pAig) );
ABC_PRT( "Time", Abc_Clock() - clk ); ABC_PRT( "Time", Abc_Clock() - clk );
} }
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment