Searched refs:parse_DIMACS (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Main.C | 46 static void parse_DIMACS(char* filename, Solver& S) { function 245 parse_DIMACS(input, S);
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/ |
H A D | zc2hs.cpp | 63 void parse_DIMACS(Proof& P, vec<vec<Lit> >& roots, char* filename, parsed_clauses* pclauses, function 493 parse_DIMACS(P, roots, input, pclauses, units, numvars, numclauses);
|
Completed in 12 milliseconds