GRATgen
Related Pages
Here is a list of all related documentation pages:
 HeuristicsThis page lists some of the heuristics used by gratgen
 Internal storage of clausesClauses are stored as a zero terminated string of lit_t, and referenced to by a lit_t* to the first literal
 Conflict_AnalysisConflict analysis and lemma marking
 Core_First_Unit_PropagationConcurrent core-first unit propagation
 Unmarked_RAT_CandidatesOn ignoring unmarked RAT candidates
 Object_LifetimesObject Initialization and Lifetime
 GRATgen