Experiments with MUX decomposition.

abclib.dsp

@@ -5103,7 +5103,7 @@ SOURCE=.\src\aig\gia\giaResub2.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaResub3_new.c
+SOURCE=.\src\aig\gia\giaResub3.c
 # End Source File
 # Begin Source File
 

src/aig/gia/giaSimBase.c

@@ -211,7 +211,6 @@ Gia_Man_t * Gia_ManPerformMuxDec( Gia_Man_t * p )
     Gia_ManHashAlloc( pNew );
     for ( o = 0; o < Gia_ManCoNum(p); o++ )
     {
-        Abc_TtReverseVars( pRes+o*nWords, nWords );
         Vec_IntClear( vDatas );
         for ( i = 0; i < nWords; i++ )
             Vec_IntPush( vDatas, Kit_TruthToGia(pNew, (unsigned *)(pRes+o*nWords+i), 6, vMemory, vLeaves, 1) );