Searched defs:compress (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ | ||
H A D | Main.C | 206 bool compress = false; local |
H A D | Proof.C | 255 void Proof::compress(Proof& dst, ClauseId goal) function in class:Proof |
Completed in 33 milliseconds