• MAX_NUM_OF_COMBINATION_RESULT : Substitute.h
• MAX_NUM_OF_TERMS : Substitute.cpp
• MAX_PRODUCT_SPLIT_NUMBER : Substitute.h
• SMTRAT_EXIT_GENERALERROR : ExitCodes.h
• SMTRAT_EXIT_MEMOUT : ExitCodes.h
• SMTRAT_EXIT_NOSUCHFILE : ExitCodes.h
• SMTRAT_EXIT_PARSERFAILURE : ExitCodes.h
• SMTRAT_EXIT_SAT : ExitCodes.h
• SMTRAT_EXIT_SUCCESS : ExitCodes.h
• SMTRAT_EXIT_TIMEOUT : ExitCodes.h
• SMTRAT_EXIT_UNDEFINED : ExitCodes.h
• SMTRAT_EXIT_UNEXPECTED_ANSWER : ExitCodes.h
• SMTRAT_EXIT_UNEXPECTED_INPUT : ExitCodes.h
• SMTRAT_EXIT_UNKNOWN : ExitCodes.h
• SMTRAT_EXIT_UNSAT : ExitCodes.h
• SMTRAT_EXIT_USERABORT : ExitCodes.h
• SMTRAT_EXIT_WRONG_ANSWER : ExitCodes.h