Skip to content

A
abc
Commit f21bafeb by Alan Mishchenko
Options

Changing SAT sweepers (ifraig and &fraig) to be stronger by default.

parent 55a67a11
Showing with 2 additions and 1 deletions
src/base/abci/abc.c
...@@ -15443,7 +15443,7 @@ int Abc_CommandIFraig( Abc_Frame_t * pAbc, int argc, char ** argv ) ...@@ -15443,7 +15443,7 @@ int Abc_CommandIFraig( Abc_Frame_t * pAbc, int argc, char ** argv )
nPartSize = 0; nPartSize = 0;
nLevelMax = 0; nLevelMax = 0;
nConfLimit = 100; nConfLimit = 100;
fDoSparse = 0; fDoSparse = 1;
fProve = 0; fProve = 0;
fVerbose = 0; fVerbose = 0;
Extra_UtilGetoptReset(); Extra_UtilGetoptReset();
...@@ -36287,6 +36287,7 @@ int Abc_CommandAbc9Fraig( Abc_Frame_t * pAbc, int argc, char ** argv ) ...@@ -36287,6 +36287,7 @@ int Abc_CommandAbc9Fraig( Abc_Frame_t * pAbc, int argc, char ** argv )
int c, fUseAlgo = 0, fUseAlgoG = 0; int c, fUseAlgo = 0, fUseAlgoG = 0;
Cec_ManFraSetDefaultParams( pPars ); Cec_ManFraSetDefaultParams( pPars );
pPars->fSatSweeping = 1; pPars->fSatSweeping = 1;
pPars->nItersMax = 1000000;
Extra_UtilGetoptReset(); Extra_UtilGetoptReset();
while ( ( c = Extra_UtilGetopt( argc, argv, "WRILDCrmdckngwvh" ) ) != EOF ) while ( ( c = Extra_UtilGetopt( argc, argv, "WRILDCrmdckngwvh" ) ) != EOF )
{ {
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