• boundVarCount : theory.cpp
• bvdump : theory_bitvector.cpp
• chunkSizeBytes : memory_manager_context.h
• clause_mem_base : minisat_types.cpp
• debug_full : minisat_solver.cpp
• debug_skolem : vc_cmd.cpp
• debug_write : theory_array.cpp
• defer_theory_propagation : minisat_solver.cpp
• eager_explanation : minisat_solver.cpp
• FOUND_FALSE : theory_quant.cpp
• keep_lazy_explanation : minisat_solver.cpp
• l_False : minisat_global.h
• l_True : minisat_global.h
• l_Undef : minisat_global.h
• LIMIT : bryant.cpp
• lit_Error : minisat_types.h
• lit_Undef : minisat_types.h
• null_expr : theory_quant.cpp
• num_primes : hash_table.h
• parserTemp : parser.h
• prime_list : hash_table.h
• programName : main.cpp
• prop_lookahead : minisat_solver.cpp
• protocol : minisat_solver.cpp
• push_theory_clause : minisat_solver.cpp
• push_theory_implication : minisat_solver.cpp
• push_theory_propagation : minisat_solver.cpp
• var_Undef : minisat_types.h
• vc : main.cpp

---