Here is a list of all namespace variables with links to the namespace documentation for each variable:

• CRef_Undef : Gluco2, Gluco, Minisat
• invalid_heap_position : CaDiCaL
• lit_Error : Gluco2, Gluco, Minisat
• lit_Undef : Gluco2, Gluco, Minisat
• opt_certified_ : Gluco2
• opt_certified_file_ : Gluco2
• terr : CaDiCaL
• tout : CaDiCaL