Searched refs:fUseMiniSat (Results 1 – 7 of 7) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaHcd.c | 52 extern void Gia_ComputeEquivalences( Gia_Man_t * pMiter, int nBTLimit, int fUseMiniSat, int fVerbos… 610 Aig_Man_t * Hcd_ComputeChoices( Aig_Man_t * pAig, int nBTLimit, int fSynthesis, int fUseMiniSat, in… in Hcd_ComputeChoices() argument 637 Gia_ComputeEquivalences( pMiter, nBTLimit, fUseMiniSat, fVerbose ); in Hcd_ComputeChoices() 674 void Hcd_ComputeChoicesTest( Gia_Man_t * pGia, int nBTLimit, int fSynthesis, int fUseMiniSat, int f… in Hcd_ComputeChoicesTest() argument 678 pAigNew = Hcd_ComputeChoices( pAig, nBTLimit, fSynthesis, fUseMiniSat, fVerbose ); in Hcd_ComputeChoicesTest()
|
H A D | giaGiarf.c | 757 …encesLevel( Hcd_Man_t * p, Gia_Man_t * pGiaLev, Vec_Ptr_t * vOldRoots, int Level, int fUseMiniSat ) in Gia_ComputeEquivalencesLevel() argument 777 if ( fUseMiniSat ) in Gia_ComputeEquivalencesLevel() 812 else if ( fUseMiniSat ) in Gia_ComputeEquivalencesLevel() 908 else if ( fUseMiniSat ) in Gia_ComputeEquivalencesLevel() 1030 void Gia_ComputeEquivalences( Gia_Man_t * pGia, int nBTLimit, int fUseMiniSat, int fVerbose ) in Gia_ComputeEquivalences() argument 1062 nIters = Gia_ComputeEquivalencesLevel( p, pGiaLev, vRoots, Lev, fUseMiniSat ); in Gia_ComputeEquivalences()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
H A D | int.h | 59 int fUseMiniSat; // use MiniSat-1.14p instead of internal proof engine member
|
H A D | intCore.c | 57 p->fUseMiniSat = 0; // use MiniSat-1.14p instead of internal proof engine in Inter_ManSetDefaultParams() 212 if ( pPars->fUseMiniSat ) in Inter_ManPerformInterpolation()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cec.h | 186 int fUseMiniSat; // enables MiniSat in lcorr/scorr member
|
H A D | cecSynth.c | 56 p->fUseMiniSat = 0; // enables MiniSat in lcorr/scorr in Cec_SeqSynthesisSetDefaultParams()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abc.c | 26873 pPars->fUseMiniSat ^= 1; in Abc_CommandBmcInter() 26996 …oggle using MiniSat-1.14p (now, Windows-only) [default = %s]\n", pPars->fUseMiniSat? "yes": "no" ); in Abc_CommandBmcInter()
|