Searched refs:Bmc_FxAddClauses (Results 1 – 1 of 1) sorted by relevance
645 void Bmc_FxAddClauses( sat_solver * pSat, Vec_Int_t * vDivs, int iCiVarBeg, int iVarStart ) in Bmc_FxAddClauses() function705 Bmc_FxAddClauses( pSat, vDivs, iCiVarBeg, iCiVarCur ); in Bmc_FxComputeOne()