diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-24 09:59:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-24 09:59:22 -0700 |
| commit | cb30ea0516cf85b839794c4755f6071a02e55537 (patch) | |
| tree | 3dccaa628b5b245a3e10db483f3864801620c405 | |
| parent | 1f56f20e1bcd7528b526cf6d48776a606edf61fd (diff) | |
| download | abc-cb30ea0516cf85b839794c4755f6071a02e55537.tar.gz abc-cb30ea0516cf85b839794c4755f6071a02e55537.tar.bz2 abc-cb30ea0516cf85b839794c4755f6071a02e55537.zip | |
Experiments with SAT sweeping.
| -rw-r--r-- | src/base/abci/abc.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 6f0f7a34..90d85bde 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -36996,9 +36996,10 @@ int Abc_CommandAbc9Fraig( Abc_Frame_t * pAbc, int argc, char ** argv ) extern Gia_Man_t * Cec2_ManSimulateTest( Gia_Man_t * p, Cec_ParFra_t * pPars ); extern Gia_Man_t * Cec3_ManSimulateTest( Gia_Man_t * p, Cec_ParFra_t * pPars ); extern Gia_Man_t * Cec4_ManSimulateTest( Gia_Man_t * p, Cec_ParFra_t * pPars ); - extern Gia_Man_t * Cec5_ManSimulateTest( Gia_Man_t * p, Cec_ParFra_t * pPars ); + extern Gia_Man_t * Cec5_ManSimulateTest( Gia_Man_t * p, Cec_ParFra_t * pPars, int fCbs, int approxLim, int subBatchSz, int adaRecycle ); Cec_ParFra_t ParsFra, * pPars = &ParsFra; Gia_Man_t * pTemp; int c, fUseAlgo = 0, fUseAlgoG = 0, fUseAlgoX = 0, fUseAlgoY = 0; + int fUseAlgoG3 = 0, fCbs = 1, approxLim = 600, subBatchSz = 1, adaRecycle = 500; Cec4_ManSetParams( pPars ); Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "JWRILDCNPrmdckngxywvh" ) ) != EOF ) @@ -37153,7 +37154,7 @@ int Abc_CommandAbc9Fraig( Abc_Frame_t * pAbc, int argc, char ** argv ) else if ( fUseAlgoX ) pTemp = Cec4_ManSimulateTest( pAbc->pGia, pPars ); else if ( fUseAlgoY ) - pTemp = Cec5_ManSimulateTest( pAbc->pGia, pPars ); + pTemp = Cec5_ManSimulateTest( pAbc->pGia, pPars, fCbs, approxLim, subBatchSz, adaRecycle ); else pTemp = Cec_ManSatSweeping( pAbc->pGia, pPars, 0 ); Abc_FrameUpdateGia( pAbc, pTemp ); |