Here is a list of all related documentation pages:

Heuristics	This page lists some of the heuristics used by gratgen
Internal storage of clauses
Conflict_Analysis	Conflict analysis and lemma marking
Core_First_Unit_Propagation	Concurrent core-first unit propagation
Unmarked_RAT_Candidates	On ignoring unmarked RAT candidates
Object_Lifetimes	Object Initialization and Lifetime
GRATgen