Searched defs:fUseMiniSat (Results 1 – 4 of 4) sorted by relevance
| /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
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaHcd.c | 610 Aig_Man_t * Hcd_ComputeChoices( Aig_Man_t * pAig, int nBTLimit, int fSynthesis, int fUseMiniSat, in… in Hcd_ComputeChoices()
674 void Hcd_ComputeChoicesTest( Gia_Man_t * pGia, int nBTLimit, int fSynthesis, int fUseMiniSat, int f… 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()
1030 void Gia_ComputeEquivalences( Gia_Man_t * pGia, int nBTLimit, int fUseMiniSat, int fVerbose ) in Gia_ComputeEquivalences()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cec.h | 186 int fUseMiniSat; // enables MiniSat in lcorr/scorr member
|