GRATgen
|
Heuristics | This page lists some of the heuristics used by gratgen |
Internal storage of clauses | Clauses are stored as a zero terminated string of lit_t, and referenced to by a lit_t* to the first literal |
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 |