Searched defs:nLearnedStart (Results 1 – 6 of 6) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraCec.c | 47 …t( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimit, int nLearnedStart, int nLearne… in Fra_FraigSat()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
| H A D | cnfUtil.c | 402 int Cnf_DataSolveFromFile( char * pFileName, int nConfLimit, int nLearnedStart, int nLearnedDelta, … in Cnf_DataSolveFromFile()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | abs.h | 54 int nLearnedStart; // max number of learned clauses member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmc.h | 109 int nLearnedStart; // starting learned clause limit member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDar.c | 1871 int Abc_NtkDSat( Abc_Ntk_t * pNtk, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimit, int nLearnedStart… in Abc_NtkDSat()
|
| H A D | abc.c | 25095 int nLearnedStart; in Abc_CommandDSat() local
25306 int nLearnedStart = 0; in Abc_CommandXSat() local
|