GRATgen
|
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 |