✨ Add advanced power encoding

init.cpp

@@ -21,7 +21,24 @@ extern "C"
 namespace
 {
 const int DECIMAL_BASE = 10;
+const int STEPSIZE_75 = 75;
 
+
+int RunPexact( int searchMode, Bmc_EsPar_t * pPars )
+{
+    int status = 0;
+    if ( searchMode == 0 )
+    {
+        status = PexaManExactPowerSynthesisBasePower( pPars );
+    } else if ( searchMode == 1 )
+    {
+        status = PexaManExactPowerSynthesisBasePowerBDD( pPars );
+    } else if ( searchMode == 2 )
+    {
+        status = PexaManExactPowerSynthesisBasePowerBDDBinary( pPars, STEPSIZE_75 );
+    }
+    return status;
+}
 /**
  * @brief Pexact command.
  *
@@ -41,7 +58,8 @@ int PexactCommand( Abc_Frame_t * pAbc, int argc, char ** argv )
     Bmc_EsParSetDefault( pPars );
     Extra_UtilGetoptReset();
     Abc_FrameInit( pAbc );
-    while ( ( c = Extra_UtilGetopt( argc, argv, "I" ) ) != EOF )
+    int searchMode = 0;  // Default search mode
+    while ( ( c = Extra_UtilGetopt( argc, argv, "IM" ) ) != EOF )
     {
         switch ( c )
         {
@@ -54,6 +72,20 @@ int PexactCommand( Abc_Frame_t * pAbc, int argc, char ** argv )
             pPars->nVars = strtol( argv[globalUtilOptind], &pEnd, DECIMAL_BASE );
             globalUtilOptind++;
             break;
+        case 'M':
+            if ( globalUtilOptind >= argc )
+            {
+                Abc_Print( -1, "Command line switch \"-M\" should be followed by an integer.\n" );
+                goto usage;
+            }
+            searchMode = strtol( argv[globalUtilOptind], &pEnd, DECIMAL_BASE );
+            if ( searchMode < 0 || searchMode > 2 )
+            {
+                Abc_Print( -1, "Invalid search mode. Valid values are 0 (queue search), 1 (free search), and 2 (binary search).\n" );
+                goto usage;
+            }
+            globalUtilOptind++;
+            break;
         default:
             goto usage;
         }
@@ -81,11 +113,12 @@ int PexactCommand( Abc_Frame_t * pAbc, int argc, char ** argv )
         Abc_Print( -1, "Function should not have more than 4 inputs.\n" );
         return 1;
     }
-    return PexaManExactPowerSynthesisBasePower( pPars );
+    return RunPexact( searchMode, pPars );
 usage:
-    Abc_Print( -2, "usage: pexact [-I] <hex>\n" );
+    Abc_Print( -2, "usage: pexact [-I <num>] [-M <num>] <hex>\n" );
     Abc_Print( -2, "\t           exact synthesis of multi-input function using two-input gates\n" );
     Abc_Print( -2, "\t-I <num> : the number of input variables [default = %d]\n", pPars->nVars );
+    Abc_Print( -2, "\t-M <num> : search space exploration mode 0: queue search 1: free search 2: binary search [default = 0]\n" );
     return 1;
 }
 /**