Searched defs:clauses (Results 1 - 1 of 1) sorted by relevance

/pkg/src/modules/solver/
H A Dsolver.h88 uint64 clauses, clauses_literals, learnts, learnts_literals, max_literals, tot_literals; member in struct:stats_t
105 // clauses
106 vecp clauses; // List of problem constraints. (contains: clause*) member in struct:solver_t
107 vecp learnts; // List of learnt clauses. (contains: clause*)

Completed in 9 milliseconds