GRATgen
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
 CClauseDBStores the clauses and the certificate as an array of cdb_t items
 CGlobal_DataGlobal data, which is constant after forward pass
 Citem_tA certificate item
 Clit_mapContainer class to store a mapping from literals to type T
 CParserParser that reads cnf and drat files
 Cpos_tA relative position in the clause database
 CProof_WriterContains functions to output a GRAT proof
 Cpush_clause_idsThe functionality of appending clause IDs to a vector
 CspinlockSimple spinlock
 CSynch_DataGlobal data, which is synchronized between threads, or joined after thread's execution from thread's local data
 Ctrail_item_tAn item on the trail
 CVControllerEncapsulates the functionality to control the multi-threaded checker
 CVerifierMain functionality for DRAT certificate verification