Searched defs:Clause2 (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
| H A D | satChecker.c | 73 int Sat_ProofResolve( Vec_Vec_t * vClauses, int Result, int Clause1, int Clause2 ) in Sat_ProofResolve()
123 int c, i, Num, RetValue, Counter, Counter2, Clause1, Clause2; in Sat_ProofChecker() local
|