SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
config.h
Go to the documentation of this file.
1 #pragma once
2 
3 #define EXTERNALIZE_CLASSES
4 
5 /* #undef USE_NSS */
6 
7 /* #undef SMTRAT_DEVOPTION_Validation */
8 /* #undef SMTRAT_DEVOPTION_Statistics */
9 /* #undef SMTRAT_DEVOPTION_Checkpoints */
10 /* #undef SMTRAT_DEVOPTION_Expensive */
11 
12 /* #undef SMTRAT_STRAT_PARALLEL_MODE */
13 /* #undef USE_GINAC */
14 
15 /* #undef LOGGING */
16 
17 #ifdef _MSC_VER
18 #define __VS
19 #endif
20 
21 #ifdef _WIN32
22 #define __WIN
23 #endif