Searched refs:Sat_SolverTraceStart (Results 1 – 2 of 2) sorted by relevance
53 void Sat_SolverTraceStart( sat_solver * pSat, char * pName ) in Sat_SolverTraceStart() function
79 extern void Sat_SolverTraceStart( sat_solver * pSat, char * pName );