• BuildType : smtrat::compile_information
• CellHeuristicStrings : smtrat::cadcells::representation
• COMMANDER_GROUP_SIZE : smtrat
• CONFLICT_CLAUSE : Minisat
• cover_nullification : smtrat::mcsat::onecellcad::recursive
• CoveringHeuristicStrings : smtrat::cadcells::representation
• CRef_Lazy : Minisat
• CRef_TPropagation : Minisat
• CRef_Undef : Minisat
• CXXCompiler : smtrat::compile_information
• CXXCompilerVersion : smtrat::compile_information
• empty_assignment : smtrat::cadcells
• EMPTY_MODEL : smtrat
• GitRevisionSHA1 : smtrat::compile_information
• GitVersion : smtrat::compile_information
• LAST_ENTRY_ID : smtrat::lra
• LEMMA_CLAUSE : Minisat
• lit_Error : Minisat
• lit_Undef : Minisat
• NORMAL_CLAUSE : Minisat
• nprimes : Minisat
• PackageName : smtrat::compile_information
• PERMANENT_CLAUSE : Minisat
• primes : Minisat
• ProjectName : smtrat::compile_information
• SystemName : smtrat::compile_information
• SystemVersion : smtrat::compile_information
• Version : smtrat::compile_information
• Website : smtrat::compile_information