SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
compile_information.cpp
Go to the documentation of this file.
1 #include "compile_information.h"
2 
3 namespace smtrat {
4 
5 namespace compile_information {
6 
7 const std::string SystemName = "Linux";
8 const std::string SystemVersion = "6.1.0-0.deb11.11-amd64";
9 const std::string BuildType = "DEBUG";
10 const std::string CXXCompiler = "/usr/bin/c++";
11 const std::string CXXCompilerVersion = "11.3.0";
12 const std::string GitRevisionSHA1 = "c3b50044f19b364ff175d8ffa02e0ac9ca9cc791";
13 const std::string PackageName = "smtrat";
14 const std::string ProjectName = "SMT-RAT";
15 const std::string Version = "24.02";
16 const std::string Website = "https://ths-rwth.github.io/smtrat/";
17 const std::string GitVersion = "24.02";
18 
19 }
20 
21 std::ostream& operator<<(std::ostream& os, CMakeOptionPrinter cmop) {
22  auto print = [&os,&cmop](bool advanced, const std::string& type, const std::string& key, const std::string& value) {
23  if (advanced && !cmop.advanced) return;
24  if (type.empty()) return;
25  if (key.empty()) return;
26  if (key[0] == '_') return;
27  if (value.find('\n') == std::string::npos) {
28  os << key << " = " << value << std::endl;
29  } else {
30  os << key << " has multiple lines." << std::endl;
31  }
32  };
33 
34 
35  print(1, "FILEPATH", "BIBER_COMPILER", R"VAR(BIBER_COMPILER-NOTFOUND)VAR");
36  print(1, "FILEPATH", "BIBTEX_COMPILER", R"VAR(/usr/bin/bibtex)VAR");
37  print(0, "", "BINARY_DIR", R"VAR(/builds/ths/smt/smtrat/build/resources/src/CArL-EP-build)VAR");
38  print(0, "", "BIN_INSTALL_DIR", R"VAR(/usr/local/)VAR");
39  print(0, "BOOL", "BUILD_SOLVER", R"VAR(ON)VAR");
40  print(0, "", "CARL_BUILD_DIR", R"VAR(/builds/ths/smt/smtrat/build/resources/src/CArL-config-EP-build)VAR");
41  print(0, "", "CARL_CARL_DEVOPTION_Statistics", R"VAR(OFF)VAR");
42  print(0, "", "CARL_FORCE_SHIPPED_GMP", R"VAR(OFF)VAR");
43  print(0, "", "CARL_FORCE_SHIPPED_RESOURCES", R"VAR(OFF)VAR");
44  print(0, "", "CARL_LOGGING", R"VAR(OFF)VAR");
45  print(0, "", "CARL_REQUIRED_VERSION", R"VAR(24.02)VAR");
46  print(0, "", "CARL_THREAD_SAFE", R"VAR(OFF)VAR");
47  print(0, "", "CARL_USE_BLISS", R"VAR(ON)VAR");
48  print(0, "", "CARL_USE_CLN_NUMBERS", R"VAR(OFF)VAR");
49  print(0, "", "CARL_USE_COCOA", R"VAR(ON)VAR");
50  print(0, "", "CARL_USE_GINAC", R"VAR(OFF)VAR");
51  print(0, "", "CARL_USE_LIBPOLY", R"VAR(ON)VAR");
52  print(0, "", "CARL_USE_MPFR_FLOAT", R"VAR(OFF)VAR");
53  print(0, "", "CARL_VERSION_FILE", R"VAR(/builds/ths/smt/smtrat/resources/carl-required.version)VAR");
54  print(0, "STRING", "CLANG_SANITIZER", R"VAR(none)VAR");
55  print(0, "FILEPATH", "CLANG_TIDY", R"VAR(CLANG_TIDY-NOTFOUND)VAR");
56  print(0, "BOOL", "CLANG_TIME_TRACE", R"VAR(OFF)VAR");
57  print(0, "BOOL", "CLI_ENABLE_ANALYZER", R"VAR(OFF)VAR");
58  print(0, "BOOL", "CLI_ENABLE_CNF_CONVERSION", R"VAR(OFF)VAR");
59  print(0, "BOOL", "CLI_ENABLE_DIMACS_PARSER", R"VAR(OFF)VAR");
60  print(0, "BOOL", "CLI_ENABLE_FORMULAPARSER", R"VAR(OFF)VAR");
61  print(0, "BOOL", "CLI_ENABLE_OPB_PARSER", R"VAR(OFF)VAR");
62  print(0, "BOOL", "CLI_ENABLE_PREPROCESSOR", R"VAR(OFF)VAR");
63  print(0, "BOOL", "CLI_ENABLE_QUANTIFIER_ELIMINATION", R"VAR(OFF)VAR");
64  print(1, "FILEPATH", "CMAKE_ADDR2LINE", R"VAR(/usr/bin/addr2line)VAR");
65  print(1, "FILEPATH", "CMAKE_AR", R"VAR(/usr/bin/ar)VAR");
66  print(1, "FILEPATH", "CMAKE_AR", R"VAR(/usr/bin/ar)VAR");
67  print(0, "", "CMAKE_AUTOGEN_ORIGIN_DEPENDS", R"VAR(ON)VAR");
68  print(0, "", "CMAKE_AUTOMOC_COMPILER_PREDEFINES", R"VAR(ON)VAR");
69  print(0, "", "CMAKE_AUTOMOC_MACRO_NAMES", R"VAR(Q_OBJECT;Q_GADGET;Q_NAMESPACE;Q_NAMESPACE_EXPORT)VAR");
70  print(0, "", "CMAKE_AUTOMOC_PATH_PREFIX", R"VAR(OFF)VAR");
71  print(0, "", "CMAKE_BASE_NAME", R"VAR(g++)VAR");
72  print(0, "", "CMAKE_BINARY_DIR", R"VAR(/builds/ths/smt/smtrat/build)VAR");
73  print(0, "", "CMAKE_BUILD_TOOL", R"VAR(/usr/bin/gmake)VAR");
74  print(0, "STRING", "CMAKE_BUILD_TYPE", R"VAR(DEBUG)VAR");
75  print(0, "STRING", "CMAKE_BUILD_TYPE", R"VAR(DEBUG)VAR");
76  print(0, "", "CMAKE_CFG_INTDIR", R"VAR(.)VAR");
77  print(1, "BOOL", "CMAKE_COLOR_MAKEFILE", R"VAR(ON)VAR");
78  print(0, "INTERNAL", "CMAKE_COMMAND", R"VAR(/usr/bin/cmake)VAR");
79  print(0, "", "CMAKE_COMPILER_IS_GNUCXX", R"VAR(1)VAR");
80  print(0, "INTERNAL", "CMAKE_CPACK_COMMAND", R"VAR(/usr/bin/cpack)VAR");
81  print(0, "", "CMAKE_CROSSCOMPILING", R"VAR(FALSE)VAR");
82  print(0, "INTERNAL", "CMAKE_CTEST_COMMAND", R"VAR(/usr/bin/ctest)VAR");
83  print(0, "", "CMAKE_CURRENT_BINARY_DIR", R"VAR(/builds/ths/smt/smtrat/build/src/cli)VAR");
84  print(0, "", "CMAKE_CURRENT_LIST_DIR", R"VAR(/builds/ths/smt/smtrat/src/cli)VAR");
85  print(0, "", "CMAKE_CURRENT_LIST_FILE", R"VAR(/builds/ths/smt/smtrat/src/cli/CMakeLists.txt)VAR");
86  print(0, "", "CMAKE_CURRENT_SOURCE_DIR", R"VAR(/builds/ths/smt/smtrat/src/cli)VAR");
87  print(0, "", "CMAKE_CXX11_COMPILE_FEATURES", R"VAR(cxx_std_11;cxx_alias_templates;cxx_alignas;cxx_alignof;cxx_attributes;cxx_auto_type;cxx_constexpr;cxx_decltype;cxx_decltype_incomplete_return_types;cxx_default_function_template_args;cxx_defaulted_functions;cxx_defaulted_move_initializers;cxx_delegating_constructors;cxx_deleted_functions;cxx_enum_forward_declarations;cxx_explicit_conversions;cxx_extended_friend_declarations;cxx_extern_templates;cxx_final;cxx_func_identifier;cxx_generalized_initializers;cxx_inheriting_constructors;cxx_inline_namespaces;cxx_lambdas;cxx_local_type_template_args;cxx_long_long_type;cxx_noexcept;cxx_nonstatic_member_init;cxx_nullptr;cxx_override;cxx_range_for;cxx_raw_string_literals;cxx_reference_qualified_functions;cxx_right_angle_brackets;cxx_rvalue_references;cxx_sizeof_member;cxx_static_assert;cxx_strong_enums;cxx_thread_local;cxx_trailing_return_types;cxx_unicode_literals;cxx_uniform_initialization;cxx_unrestricted_unions;cxx_user_literals;cxx_variadic_macros;cxx_variadic_templates)VAR");
88  print(0, "", "CMAKE_CXX11_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++11)VAR");
89  print(0, "", "CMAKE_CXX11_STANDARD_COMPILE_OPTION", R"VAR(-std=c++11)VAR");
90  print(0, "", "CMAKE_CXX11_STANDARD__HAS_FULL_SUPPORT", R"VAR(ON)VAR");
91  print(0, "", "CMAKE_CXX14_COMPILE_FEATURES", R"VAR(cxx_std_14;cxx_aggregate_default_initializers;cxx_attribute_deprecated;cxx_binary_literals;cxx_contextual_conversions;cxx_decltype_auto;cxx_digit_separators;cxx_generic_lambdas;cxx_lambda_init_captures;cxx_relaxed_constexpr;cxx_return_type_deduction;cxx_variable_templates)VAR");
92  print(0, "", "CMAKE_CXX14_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++14)VAR");
93  print(0, "", "CMAKE_CXX14_STANDARD_COMPILE_OPTION", R"VAR(-std=c++14)VAR");
94  print(0, "", "CMAKE_CXX14_STANDARD__HAS_FULL_SUPPORT", R"VAR(ON)VAR");
95  print(0, "", "CMAKE_CXX17_COMPILE_FEATURES", R"VAR(cxx_std_17)VAR");
96  print(0, "", "CMAKE_CXX17_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++17)VAR");
97  print(0, "", "CMAKE_CXX17_STANDARD_COMPILE_OPTION", R"VAR(-std=c++17)VAR");
98  print(0, "", "CMAKE_CXX20_COMPILE_FEATURES", R"VAR(cxx_std_20)VAR");
99  print(0, "", "CMAKE_CXX20_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++20)VAR");
100  print(0, "", "CMAKE_CXX20_STANDARD_COMPILE_OPTION", R"VAR(-std=c++20)VAR");
101  print(0, "", "CMAKE_CXX23_COMPILE_FEATURES", R"VAR(cxx_std_23)VAR");
102  print(0, "", "CMAKE_CXX23_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++23)VAR");
103  print(0, "", "CMAKE_CXX23_STANDARD_COMPILE_OPTION", R"VAR(-std=c++23)VAR");
104  print(0, "", "CMAKE_CXX98_COMPILE_FEATURES", R"VAR(cxx_std_98;cxx_template_template_parameters)VAR");
105  print(0, "", "CMAKE_CXX98_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++98)VAR");
106  print(0, "", "CMAKE_CXX98_STANDARD_COMPILE_OPTION", R"VAR(-std=c++98)VAR");
107  print(0, "", "CMAKE_CXX98_STANDARD__HAS_FULL_SUPPORT", R"VAR(ON)VAR");
108  print(0, "", "CMAKE_CXX_ABI_COMPILED", R"VAR(TRUE)VAR");
109  print(0, "", "CMAKE_CXX_ARCHIVE_APPEND", R"VAR(<CMAKE_AR> q <TARGET> <LINK_FLAGS> <OBJECTS>)VAR");
110  print(0, "", "CMAKE_CXX_ARCHIVE_APPEND_IPO", R"VAR("/usr/bin/gcc-ar-11" r <TARGET> <LINK_FLAGS> <OBJECTS>)VAR");
111  print(0, "", "CMAKE_CXX_ARCHIVE_CREATE", R"VAR(<CMAKE_AR> qc <TARGET> <LINK_FLAGS> <OBJECTS>)VAR");
112  print(0, "", "CMAKE_CXX_ARCHIVE_CREATE_IPO", R"VAR("/usr/bin/gcc-ar-11" cr <TARGET> <LINK_FLAGS> <OBJECTS>)VAR");
113  print(0, "", "CMAKE_CXX_ARCHIVE_FINISH", R"VAR(<CMAKE_RANLIB> <TARGET>)VAR");
114  print(0, "", "CMAKE_CXX_ARCHIVE_FINISH_IPO", R"VAR("/usr/bin/gcc-ranlib-11" <TARGET>)VAR");
115  print(0, "", "CMAKE_CXX_BYTE_ORDER", R"VAR(LITTLE_ENDIAN)VAR");
116  print(0, "", "CMAKE_CXX_CL_SHOWINCLUDES_PREFIX", R"VAR()VAR");
117  print(1, "FILEPATH", "CMAKE_CXX_COMPILER", R"VAR(/usr/bin/c++)VAR");
118  print(1, "FILEPATH", "CMAKE_CXX_COMPILER", R"VAR(/usr/bin/c++)VAR");
119  print(0, "", "CMAKE_CXX_COMPILER_ABI", R"VAR(ELF)VAR");
120  print(1, "FILEPATH", "CMAKE_CXX_COMPILER_AR", R"VAR(/usr/bin/gcc-ar-11)VAR");
121  print(1, "FILEPATH", "CMAKE_CXX_COMPILER_AR", R"VAR(/usr/bin/gcc-ar-11)VAR");
122  print(0, "", "CMAKE_CXX_COMPILER_ARCHITECTURE_ID", R"VAR()VAR");
123  print(0, "", "CMAKE_CXX_COMPILER_ARG1", R"VAR()VAR");
124  print(0, "", "CMAKE_CXX_COMPILER_ENV_VAR", R"VAR(CXX)VAR");
125  print(0, "", "CMAKE_CXX_COMPILER_FRONTEND_VARIANT", R"VAR()VAR");
126  print(0, "", "CMAKE_CXX_COMPILER_ID", R"VAR(GNU)VAR");
127  print(0, "", "CMAKE_CXX_COMPILER_ID_PLATFORM_CONTENT", R"VAR(#define STRINGIFY_HELPER(X) #X
128 #define STRINGIFY(X) STRINGIFY_HELPER(X)
129 
130 /* Identify known platforms by name. */
131 #if defined(__linux) || defined(__linux__) || defined(linux)
132 # define PLATFORM_ID "Linux"
133 
134 #elif defined(__MSYS__)
135 # define PLATFORM_ID "MSYS"
136 
137 #elif defined(__CYGWIN__)
138 # define PLATFORM_ID "Cygwin"
139 
140 #elif defined(__MINGW32__)
141 # define PLATFORM_ID "MinGW"
142 
143 #elif defined(__APPLE__)
144 # define PLATFORM_ID "Darwin"
145 
146 #elif defined(_WIN32) || defined(__WIN32__) || defined(WIN32)
147 # define PLATFORM_ID "Windows"
148 
149 #elif defined(__FreeBSD__) || defined(__FreeBSD)
150 # define PLATFORM_ID "FreeBSD"
151 
152 #elif defined(__NetBSD__) || defined(__NetBSD)
153 # define PLATFORM_ID "NetBSD"
154 
155 #elif defined(__OpenBSD__) || defined(__OPENBSD)
156 # define PLATFORM_ID "OpenBSD"
157 
158 #elif defined(__sun) || defined(sun)
159 # define PLATFORM_ID "SunOS"
160 
161 #elif defined(_AIX) || defined(__AIX) || defined(__AIX__) || defined(__aix) || defined(__aix__)
162 # define PLATFORM_ID "AIX"
163 
164 #elif defined(__hpux) || defined(__hpux__)
165 # define PLATFORM_ID "HP-UX"
166 
167 #elif defined(__HAIKU__)
168 # define PLATFORM_ID "Haiku"
169 
170 #elif defined(__BeOS) || defined(__BEOS__) || defined(_BEOS)
171 # define PLATFORM_ID "BeOS"
172 
173 #elif defined(__QNX__) || defined(__QNXNTO__)
174 # define PLATFORM_ID "QNX"
175 
176 #elif defined(__tru64) || defined(_tru64) || defined(__TRU64__)
177 # define PLATFORM_ID "Tru64"
178 
179 #elif defined(__riscos) || defined(__riscos__)
180 # define PLATFORM_ID "RISCos"
181 
182 #elif defined(__sinix) || defined(__sinix__) || defined(__SINIX__)
183 # define PLATFORM_ID "SINIX"
184 
185 #elif defined(__UNIX_SV__)
186 # define PLATFORM_ID "UNIX_SV"
187 
188 #elif defined(__bsdos__)
189 # define PLATFORM_ID "BSDOS"
190 
191 #elif defined(_MPRAS) || defined(MPRAS)
192 # define PLATFORM_ID "MP-RAS"
193 
194 #elif defined(__osf) || defined(__osf__)
195 # define PLATFORM_ID "OSF1"
196 
197 #elif defined(_SCO_SV) || defined(SCO_SV) || defined(sco_sv)
198 # define PLATFORM_ID "SCO_SV"
199 
200 #elif defined(__ultrix) || defined(__ultrix__) || defined(_ULTRIX)
201 # define PLATFORM_ID "ULTRIX"
202 
203 #elif defined(__XENIX__) || defined(_XENIX) || defined(XENIX)
204 # define PLATFORM_ID "Xenix"
205 
206 #elif defined(__WATCOMC__)
207 # if defined(__LINUX__)
208 # define PLATFORM_ID "Linux"
209 
210 # elif defined(__DOS__)
211 # define PLATFORM_ID "DOS"
212 
213 # elif defined(__OS2__)
214 # define PLATFORM_ID "OS2"
215 
216 # elif defined(__WINDOWS__)
217 # define PLATFORM_ID "Windows3x"
218 
219 # elif defined(__VXWORKS__)
220 # define PLATFORM_ID "VxWorks"
221 
222 # else /* unknown platform */
223 # define PLATFORM_ID
224 # endif
225 
226 #elif defined(__INTEGRITY)
227 # if defined(INT_178B)
228 # define PLATFORM_ID "Integrity178"
229 
230 # else /* regular Integrity */
231 # define PLATFORM_ID "Integrity"
232 # endif
233 
234 #else /* unknown platform */
235 # define PLATFORM_ID
236 
237 #endif
238 
239 /* For windows compilers MSVC and Intel we can determine
240  the architecture of the compiler being used. This is because
241  the compilers do not have flags that can change the architecture,
242  but rather depend on which compiler is being used
243 */
244 #if defined(_WIN32) && defined(_MSC_VER)
245 # if defined(_M_IA64)
246 # define ARCHITECTURE_ID "IA64"
247 
248 # elif defined(_M_ARM64EC)
249 # define ARCHITECTURE_ID "ARM64EC"
250 
251 # elif defined(_M_X64) || defined(_M_AMD64)
252 # define ARCHITECTURE_ID "x64"
253 
254 # elif defined(_M_IX86)
255 # define ARCHITECTURE_ID "X86"
256 
257 # elif defined(_M_ARM64)
258 # define ARCHITECTURE_ID "ARM64"
259 
260 # elif defined(_M_ARM)
261 # if _M_ARM == 4
262 # define ARCHITECTURE_ID "ARMV4I"
263 # elif _M_ARM == 5
264 # define ARCHITECTURE_ID "ARMV5I"
265 # else
266 # define ARCHITECTURE_ID "ARMV" STRINGIFY(_M_ARM)
267 # endif
268 
269 # elif defined(_M_MIPS)
270 # define ARCHITECTURE_ID "MIPS"
271 
272 # elif defined(_M_SH)
273 # define ARCHITECTURE_ID "SHx"
274 
275 # else /* unknown architecture */
276 # define ARCHITECTURE_ID ""
277 # endif
278 
279 #elif defined(__WATCOMC__)
280 # if defined(_M_I86)
281 # define ARCHITECTURE_ID "I86"
282 
283 # elif defined(_M_IX86)
284 # define ARCHITECTURE_ID "X86"
285 
286 # else /* unknown architecture */
287 # define ARCHITECTURE_ID ""
288 # endif
289 
290 #elif defined(__IAR_SYSTEMS_ICC__) || defined(__IAR_SYSTEMS_ICC)
291 # if defined(__ICCARM__)
292 # define ARCHITECTURE_ID "ARM"
293 
294 # elif defined(__ICCRX__)
295 # define ARCHITECTURE_ID "RX"
296 
297 # elif defined(__ICCRH850__)
298 # define ARCHITECTURE_ID "RH850"
299 
300 # elif defined(__ICCRL78__)
301 # define ARCHITECTURE_ID "RL78"
302 
303 # elif defined(__ICCRISCV__)
304 # define ARCHITECTURE_ID "RISCV"
305 
306 # elif defined(__ICCAVR__)
307 # define ARCHITECTURE_ID "AVR"
308 
309 # elif defined(__ICC430__)
310 # define ARCHITECTURE_ID "MSP430"
311 
312 # elif defined(__ICCV850__)
313 # define ARCHITECTURE_ID "V850"
314 
315 # elif defined(__ICC8051__)
316 # define ARCHITECTURE_ID "8051"
317 
318 # elif defined(__ICCSTM8__)
319 # define ARCHITECTURE_ID "STM8"
320 
321 # else /* unknown architecture */
322 # define ARCHITECTURE_ID ""
323 # endif
324 
325 #elif defined(__ghs__)
326 # if defined(__PPC64__)
327 # define ARCHITECTURE_ID "PPC64"
328 
329 # elif defined(__ppc__)
330 # define ARCHITECTURE_ID "PPC"
331 
332 # elif defined(__ARM__)
333 # define ARCHITECTURE_ID "ARM"
334 
335 # elif defined(__x86_64__)
336 # define ARCHITECTURE_ID "x64"
337 
338 # elif defined(__i386__)
339 # define ARCHITECTURE_ID "X86"
340 
341 # else /* unknown architecture */
342 # define ARCHITECTURE_ID ""
343 # endif
344 
345 #elif defined(__TI_COMPILER_VERSION__)
346 # if defined(__TI_ARM__)
347 # define ARCHITECTURE_ID "ARM"
348 
349 # elif defined(__MSP430__)
350 # define ARCHITECTURE_ID "MSP430"
351 
352 # elif defined(__TMS320C28XX__)
353 # define ARCHITECTURE_ID "TMS320C28x"
354 
355 # elif defined(__TMS320C6X__) || defined(_TMS320C6X)
356 # define ARCHITECTURE_ID "TMS320C6x"
357 
358 # else /* unknown architecture */
359 # define ARCHITECTURE_ID ""
360 # endif
361 
362 #else
363 # define ARCHITECTURE_ID
364 #endif
365 
366 /* Convert integer to decimal digit literals. */
367 #define DEC(n) \
368  ('0' + (((n) / 10000000)%10)), \
369  ('0' + (((n) / 1000000)%10)), \
370  ('0' + (((n) / 100000)%10)), \
371  ('0' + (((n) / 10000)%10)), \
372  ('0' + (((n) / 1000)%10)), \
373  ('0' + (((n) / 100)%10)), \
374  ('0' + (((n) / 10)%10)), \
375  ('0' + ((n) % 10))
376 
377 /* Convert integer to hex digit literals. */
378 #define HEX(n) \
379  ('0' + ((n)>>28 & 0xF)), \
380  ('0' + ((n)>>24 & 0xF)), \
381  ('0' + ((n)>>20 & 0xF)), \
382  ('0' + ((n)>>16 & 0xF)), \
383  ('0' + ((n)>>12 & 0xF)), \
384  ('0' + ((n)>>8 & 0xF)), \
385  ('0' + ((n)>>4 & 0xF)), \
386  ('0' + ((n) & 0xF))
387 
388 /* Construct a string literal encoding the version number. */
389 #ifdef COMPILER_VERSION
390 char const* info_version = "INFO" ":" "compiler_version[" COMPILER_VERSION "]";
391 
392 /* Construct a string literal encoding the version number components. */
393 #elif defined(COMPILER_VERSION_MAJOR)
394 char const info_version[] = {
395  'I', 'N', 'F', 'O', ':',
396  'c','o','m','p','i','l','e','r','_','v','e','r','s','i','o','n','[',
397  COMPILER_VERSION_MAJOR,
398 # ifdef COMPILER_VERSION_MINOR
399  '.', COMPILER_VERSION_MINOR,
400 # ifdef COMPILER_VERSION_PATCH
401  '.', COMPILER_VERSION_PATCH,
402 # ifdef COMPILER_VERSION_TWEAK
403  '.', COMPILER_VERSION_TWEAK,
404 # endif
405 # endif
406 # endif
407  ']','\0'};
408 #endif
409 
410 /* Construct a string literal encoding the internal version number. */
411 #ifdef COMPILER_VERSION_INTERNAL
412 char const info_version_internal[] = {
413  'I', 'N', 'F', 'O', ':',
414  'c','o','m','p','i','l','e','r','_','v','e','r','s','i','o','n','_',
415  'i','n','t','e','r','n','a','l','[',
416  COMPILER_VERSION_INTERNAL,']','\0'};
417 #elif defined(COMPILER_VERSION_INTERNAL_STR)
418 char const* info_version_internal = "INFO" ":" "compiler_version_internal[" COMPILER_VERSION_INTERNAL_STR "]";
419 #endif
420 
421 /* Construct a string literal encoding the version number components. */
422 #ifdef SIMULATE_VERSION_MAJOR
423 char const info_simulate_version[] = {
424  'I', 'N', 'F', 'O', ':',
425  's','i','m','u','l','a','t','e','_','v','e','r','s','i','o','n','[',
426  SIMULATE_VERSION_MAJOR,
427 # ifdef SIMULATE_VERSION_MINOR
428  '.', SIMULATE_VERSION_MINOR,
429 # ifdef SIMULATE_VERSION_PATCH
430  '.', SIMULATE_VERSION_PATCH,
431 # ifdef SIMULATE_VERSION_TWEAK
432  '.', SIMULATE_VERSION_TWEAK,
433 # endif
434 # endif
435 # endif
436  ']','\0'};
437 #endif
438 
439 /* Construct the string literal in pieces to prevent the source from
440  getting matched. Store it in a pointer rather than an array
441  because some compilers will just produce instructions to fill the
442  array rather than assigning a pointer to a static array. */
443 char const* info_platform = "INFO" ":" "platform[" PLATFORM_ID "]";
444 char const* info_arch = "INFO" ":" "arch[" ARCHITECTURE_ID "]";
445 )VAR");
446  print(0, "", "CMAKE_CXX_COMPILER_ID_RUN", R"VAR(1)VAR");
447  print(0, "", "CMAKE_CXX_COMPILER_ID_TEST_FLAGS", R"VAR(-c;--c++;--ec++;--target=arm-arm-none-eabi -mcpu=cortex-m3;-c -I__does_not_exist__)VAR");
448  print(0, "", "CMAKE_CXX_COMPILER_ID_TOOL_MATCH_INDEX", R"VAR(2)VAR");
449  print(0, "", "CMAKE_CXX_COMPILER_ID_TOOL_MATCH_REGEX", R"VAR(
450 Ld[^
451 ]*(
452 [ ]+[^
453 ]*)*
454 [ ]+([^
455 ]+)[^
456 ]*-o[^
457 ]*CompilerIdCXX/(\./)?(CompilerIdCXX.(framework|xctest|build/[^
458 ]+)/)?CompilerIdCXX[
459 \"])VAR");
460  print(0, "", "CMAKE_CXX_COMPILER_ID_VENDORS", R"VAR(IAR)VAR");
461  print(0, "", "CMAKE_CXX_COMPILER_ID_VENDOR_REGEX_IAR", R"VAR(IAR .+ Compiler)VAR");
462  print(0, "", "CMAKE_CXX_COMPILER_INIT", R"VAR(NOTFOUND)VAR");
463  print(0, "", "CMAKE_CXX_COMPILER_LIST", R"VAR(c++;CC;g++;aCC;cl;bcc;xlC;icpx;icx;clang++)VAR");
464  print(0, "", "CMAKE_CXX_COMPILER_LOADED", R"VAR(1)VAR");
465  print(0, "", "CMAKE_CXX_COMPILER_NAMES", R"VAR(c++)VAR");
466  print(0, "", "CMAKE_CXX_COMPILER_PREDEFINES_COMMAND", R"VAR(/usr/bin/c++;-dM;-E;-c;/usr/share/cmake-3.22/Modules/CMakeCXXCompilerABI.cpp)VAR");
467  print(0, "", "CMAKE_CXX_COMPILER_PRODUCED_FILES", R"VAR(a.out)VAR");
468  print(0, "", "CMAKE_CXX_COMPILER_PRODUCED_OUTPUT", R"VAR()VAR");
469  print(1, "FILEPATH", "CMAKE_CXX_COMPILER_RANLIB", R"VAR(/usr/bin/gcc-ranlib-11)VAR");
470  print(1, "FILEPATH", "CMAKE_CXX_COMPILER_RANLIB", R"VAR(/usr/bin/gcc-ranlib-11)VAR");
471  print(0, "", "CMAKE_CXX_COMPILER_SYSROOT", R"VAR()VAR");
472  print(0, "", "CMAKE_CXX_COMPILER_VERSION", R"VAR(11.3.0)VAR");
473  print(0, "", "CMAKE_CXX_COMPILER_VERSION_INTERNAL", R"VAR()VAR");
474  print(0, "", "CMAKE_CXX_COMPILER_WORKS", R"VAR(TRUE)VAR");
475  print(0, "", "CMAKE_CXX_COMPILER_WRAPPER", R"VAR()VAR");
476  print(0, "", "CMAKE_CXX_COMPILE_FEATURES", R"VAR(cxx_std_98;cxx_template_template_parameters;cxx_std_11;cxx_alias_templates;cxx_alignas;cxx_alignof;cxx_attributes;cxx_auto_type;cxx_constexpr;cxx_decltype;cxx_decltype_incomplete_return_types;cxx_default_function_template_args;cxx_defaulted_functions;cxx_defaulted_move_initializers;cxx_delegating_constructors;cxx_deleted_functions;cxx_enum_forward_declarations;cxx_explicit_conversions;cxx_extended_friend_declarations;cxx_extern_templates;cxx_final;cxx_func_identifier;cxx_generalized_initializers;cxx_inheriting_constructors;cxx_inline_namespaces;cxx_lambdas;cxx_local_type_template_args;cxx_long_long_type;cxx_noexcept;cxx_nonstatic_member_init;cxx_nullptr;cxx_override;cxx_range_for;cxx_raw_string_literals;cxx_reference_qualified_functions;cxx_right_angle_brackets;cxx_rvalue_references;cxx_sizeof_member;cxx_static_assert;cxx_strong_enums;cxx_thread_local;cxx_trailing_return_types;cxx_unicode_literals;cxx_uniform_initialization;cxx_unrestricted_unions;cxx_user_literals;cxx_variadic_macros;cxx_variadic_templates;cxx_std_14;cxx_aggregate_default_initializers;cxx_attribute_deprecated;cxx_binary_literals;cxx_contextual_conversions;cxx_decltype_auto;cxx_digit_separators;cxx_generic_lambdas;cxx_lambda_init_captures;cxx_relaxed_constexpr;cxx_return_type_deduction;cxx_variable_templates;cxx_std_17;cxx_std_20;cxx_std_23)VAR");
477  print(0, "", "CMAKE_CXX_COMPILE_OBJECT", R"VAR(<CMAKE_CXX_COMPILER> <DEFINES> <INCLUDES> <FLAGS> -o <OBJECT> -c <SOURCE>)VAR");
478  print(0, "", "CMAKE_CXX_COMPILE_OPTIONS_CREATE_PCH", R"VAR(-x;c++-header;-include;<PCH_HEADER>)VAR");
479  print(0, "", "CMAKE_CXX_COMPILE_OPTIONS_EXPLICIT_LANGUAGE", R"VAR(-x;c++)VAR");
480  print(0, "", "CMAKE_CXX_COMPILE_OPTIONS_INVALID_PCH", R"VAR(-Winvalid-pch)VAR");
481  print(0, "", "CMAKE_CXX_COMPILE_OPTIONS_IPO", R"VAR(-flto;-fno-fat-lto-objects)VAR");
482  print(0, "", "CMAKE_CXX_COMPILE_OPTIONS_PIC", R"VAR(-fPIC)VAR");
483  print(0, "", "CMAKE_CXX_COMPILE_OPTIONS_PIE", R"VAR(-fPIE)VAR");
484  print(0, "", "CMAKE_CXX_COMPILE_OPTIONS_SYSROOT", R"VAR(--sysroot=)VAR");
485  print(0, "", "CMAKE_CXX_COMPILE_OPTIONS_USE_PCH", R"VAR(-include;<PCH_HEADER>)VAR");
486  print(0, "", "CMAKE_CXX_COMPILE_OPTIONS_VISIBILITY", R"VAR(-fvisibility=)VAR");
487  print(0, "", "CMAKE_CXX_COMPILE_OPTIONS_VISIBILITY_INLINES_HIDDEN", R"VAR(-fvisibility-inlines-hidden)VAR");
488  print(0, "", "CMAKE_CXX_CREATE_ASSEMBLY_SOURCE", R"VAR(<CMAKE_CXX_COMPILER> <DEFINES> <INCLUDES> <FLAGS> -S <SOURCE> -o <ASSEMBLY_SOURCE>)VAR");
489  print(0, "", "CMAKE_CXX_CREATE_PREPROCESSED_SOURCE", R"VAR(<CMAKE_CXX_COMPILER> <DEFINES> <INCLUDES> <FLAGS> -E <SOURCE> > <PREPROCESSED_SOURCE>)VAR");
490  print(0, "", "CMAKE_CXX_CREATE_SHARED_LIBRARY", R"VAR(<CMAKE_CXX_COMPILER> <CMAKE_SHARED_LIBRARY_CXX_FLAGS> <LANGUAGE_COMPILE_FLAGS> <LINK_FLAGS> <CMAKE_SHARED_LIBRARY_CREATE_CXX_FLAGS> <SONAME_FLAG><TARGET_SONAME> -o <TARGET> <OBJECTS> <LINK_LIBRARIES>)VAR");
491  print(0, "", "CMAKE_CXX_CREATE_SHARED_MODULE", R"VAR(<CMAKE_CXX_COMPILER> <CMAKE_SHARED_LIBRARY_CXX_FLAGS> <LANGUAGE_COMPILE_FLAGS> <LINK_FLAGS> <CMAKE_SHARED_LIBRARY_CREATE_CXX_FLAGS> <SONAME_FLAG><TARGET_SONAME> -o <TARGET> <OBJECTS> <LINK_LIBRARIES>)VAR");
492  print(0, "", "CMAKE_CXX_DEPENDS_USE_COMPILER", R"VAR(TRUE)VAR");
493  print(0, "", "CMAKE_CXX_DEPFILE_FORMAT", R"VAR(gcc)VAR");
494  print(0, "", "CMAKE_CXX_EXTENSIONS_COMPUTED_DEFAULT", R"VAR(ON)VAR");
495  print(0, "", "CMAKE_CXX_EXTENSIONS_DEFAULT", R"VAR(ON)VAR");
496  print(1, "STRING", "CMAKE_CXX_FLAGS", R"VAR( -Wunknown-pragmas -pthread -fmax-errors=5 -fdiagnostics-color=auto -Wall -Wextra -Wconversion -Wno-deprecated-declarations -DDEBUG -ftemplate-backtrace-limit=0)VAR");
497  print(1, "STRING", "CMAKE_CXX_FLAGS", R"VAR( -Wunknown-pragmas -pthread -fmax-errors=5 -fdiagnostics-color=auto -Wall -Wextra -Wconversion -Wno-deprecated-declarations -DDEBUG -ftemplate-backtrace-limit=0)VAR");
498  print(1, "STRING", "CMAKE_CXX_FLAGS_DEBUG", R"VAR(-g -O1 -gdwarf-4)VAR");
499  print(1, "STRING", "CMAKE_CXX_FLAGS_DEBUG", R"VAR(-g -O1 -gdwarf-4)VAR");
500  print(0, "", "CMAKE_CXX_FLAGS_DEBUG_INIT", R"VAR( -g)VAR");
501  print(0, "", "CMAKE_CXX_FLAGS_INIT", R"VAR( )VAR");
502  print(1, "STRING", "CMAKE_CXX_FLAGS_MINSIZEREL", R"VAR(-Os -DNDEBUG)VAR");
503  print(0, "", "CMAKE_CXX_FLAGS_MINSIZEREL_INIT", R"VAR( -Os -DNDEBUG)VAR");
504  print(1, "STRING", "CMAKE_CXX_FLAGS_RELEASE", R"VAR(-O3 -DNDEBUG -O3)VAR");
505  print(1, "STRING", "CMAKE_CXX_FLAGS_RELEASE", R"VAR(-O3 -DNDEBUG -O3)VAR");
506  print(0, "", "CMAKE_CXX_FLAGS_RELEASE_INIT", R"VAR( -O3 -DNDEBUG)VAR");
507  print(1, "STRING", "CMAKE_CXX_FLAGS_RELWITHDEBINFO", R"VAR(-O2 -g -DNDEBUG)VAR");
508  print(0, "", "CMAKE_CXX_FLAGS_RELWITHDEBINFO_INIT", R"VAR( -O2 -g -DNDEBUG)VAR");
509  print(0, "", "CMAKE_CXX_IGNORE_EXTENSIONS", R"VAR(inl;h;hpp;HPP;H;o;O;obj;OBJ;def;DEF;rc;RC)VAR");
510  print(0, "", "CMAKE_CXX_IMPLICIT_INCLUDE_DIRECTORIES", R"VAR(/usr/include/c++/11;/usr/include/x86_64-linux-gnu/c++/11;/usr/include/c++/11/backward;/usr/lib/gcc/x86_64-linux-gnu/11/include;/usr/local/include;/usr/include/x86_64-linux-gnu;/usr/include)VAR");
511  print(0, "", "CMAKE_CXX_IMPLICIT_LINK_DIRECTORIES", R"VAR(/usr/lib/gcc/x86_64-linux-gnu/11;/usr/lib/x86_64-linux-gnu;/usr/lib;/lib/x86_64-linux-gnu;/lib)VAR");
512  print(0, "", "CMAKE_CXX_IMPLICIT_LINK_FRAMEWORK_DIRECTORIES", R"VAR()VAR");
513  print(0, "", "CMAKE_CXX_IMPLICIT_LINK_LIBRARIES", R"VAR(stdc++;m;gcc_s;gcc;c;gcc_s;gcc)VAR");
514  print(0, "", "CMAKE_CXX_INFORMATION_LOADED", R"VAR(1)VAR");
515  print(0, "", "CMAKE_CXX_LIBRARY_ARCHITECTURE", R"VAR(x86_64-linux-gnu)VAR");
516  print(0, "", "CMAKE_CXX_LINKER_PREFERENCE", R"VAR(30)VAR");
517  print(0, "", "CMAKE_CXX_LINKER_PREFERENCE_PROPAGATES", R"VAR(1)VAR");
518  print(0, "", "CMAKE_CXX_LINKER_WRAPPER_FLAG", R"VAR(-Wl,)VAR");
519  print(0, "", "CMAKE_CXX_LINKER_WRAPPER_FLAG_SEP", R"VAR(,)VAR");
520  print(0, "", "CMAKE_CXX_LINK_EXECUTABLE", R"VAR(<CMAKE_CXX_COMPILER> <FLAGS> <CMAKE_CXX_LINK_FLAGS> <LINK_FLAGS> <OBJECTS> -o <TARGET> <LINK_LIBRARIES>)VAR");
521  print(0, "", "CMAKE_CXX_LINK_OPTIONS_NO_PIE", R"VAR(-no-pie)VAR");
522  print(0, "", "CMAKE_CXX_LINK_OPTIONS_PIE", R"VAR(-fPIE;-pie)VAR");
523  print(0, "", "CMAKE_CXX_LINK_WHAT_YOU_USE_FLAG", R"VAR(LINKER:--no-as-needed)VAR");
524  print(0, "", "CMAKE_CXX_OUTPUT_EXTENSION", R"VAR(.o)VAR");
525  print(0, "", "CMAKE_CXX_PLATFORM_ID", R"VAR(Linux)VAR");
526  print(0, "", "CMAKE_CXX_SIMULATE_ID", R"VAR()VAR");
527  print(0, "", "CMAKE_CXX_SIMULATE_VERSION", R"VAR()VAR");
528  print(0, "", "CMAKE_CXX_SIZEOF_DATA_PTR", R"VAR(8)VAR");
529  print(0, "", "CMAKE_CXX_SOURCE_FILE_EXTENSIONS", R"VAR(C;M;c++;cc;cpp;cxx;m;mm;mpp;CPP;ixx;cppm)VAR");
530  print(0, "", "CMAKE_CXX_STANDARD", R"VAR(20)VAR");
531  print(0, "", "CMAKE_CXX_STANDARD_COMPUTED_DEFAULT", R"VAR(17)VAR");
532  print(0, "", "CMAKE_CXX_STANDARD_DEFAULT", R"VAR(17)VAR");
533  print(0, "", "CMAKE_CXX_STANDARD_REQUIRED", R"VAR(20)VAR");
534  print(0, "", "CMAKE_CXX_VERBOSE_FLAG", R"VAR(-v)VAR");
535  print(0, "", "CMAKE_CXX_XCODE_ARCHS", R"VAR()VAR");
536  print(0, "", "CMAKE_DEPFILE_FLAGS_CXX", R"VAR(-MD -MT <DEP_TARGET> -MF <DEP_FILE>)VAR");
537  print(0, "", "CMAKE_DISABLE_IN_SOURCE_BUILD", R"VAR(ON)VAR");
538  print(1, "FILEPATH", "CMAKE_DLLTOOL", R"VAR(CMAKE_DLLTOOL-NOTFOUND)VAR");
539  print(0, "", "CMAKE_DL_LIBS", R"VAR(dl)VAR");
540  print(0, "", "CMAKE_EFFECTIVE_SYSTEM_NAME", R"VAR(Linux)VAR");
541  print(0, "INTERNAL", "CMAKE_EXECUTABLE_FORMAT", R"VAR(ELF)VAR");
542  print(0, "", "CMAKE_EXECUTABLE_RPATH_LINK_CXX_FLAG", R"VAR(-Wl,-rpath-link,)VAR");
543  print(0, "", "CMAKE_EXECUTABLE_RUNTIME_CXX_FLAG", R"VAR(-Wl,-rpath,)VAR");
544  print(0, "", "CMAKE_EXECUTABLE_RUNTIME_CXX_FLAG_SEP", R"VAR(:)VAR");
545  print(0, "", "CMAKE_EXECUTABLE_SUFFIX", R"VAR()VAR");
546  print(0, "", "CMAKE_EXE_EXPORTS_CXX_FLAG", R"VAR(-Wl,--export-dynamic)VAR");
547  print(0, "", "CMAKE_EXE_EXPORTS_C_FLAG", R"VAR(-Wl,--export-dynamic)VAR");
548  print(1, "STRING", "CMAKE_EXE_LINKER_FLAGS", R"VAR()VAR");
549  print(1, "STRING", "CMAKE_EXE_LINKER_FLAGS_DEBUG", R"VAR()VAR");
550  print(0, "", "CMAKE_EXE_LINKER_FLAGS_INIT", R"VAR( )VAR");
551  print(1, "STRING", "CMAKE_EXE_LINKER_FLAGS_MINSIZEREL", R"VAR()VAR");
552  print(1, "STRING", "CMAKE_EXE_LINKER_FLAGS_RELEASE", R"VAR()VAR");
553  print(1, "STRING", "CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO", R"VAR()VAR");
554  print(0, "", "CMAKE_EXE_LINK_DYNAMIC_CXX_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
555  print(0, "", "CMAKE_EXE_LINK_DYNAMIC_C_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
556  print(0, "", "CMAKE_EXE_LINK_STATIC_CXX_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
557  print(0, "", "CMAKE_EXE_LINK_STATIC_C_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
558  print(1, "BOOL", "CMAKE_EXPORT_COMPILE_COMMANDS", R"VAR(ON)VAR");
559  print(1, "BOOL", "CMAKE_EXPORT_COMPILE_COMMANDS", R"VAR(ON)VAR");
560  print(0, "INTERNAL", "CMAKE_EXTRA_GENERATOR", R"VAR()VAR");
561  print(0, "", "CMAKE_FILES_DIRECTORY", R"VAR(/CMakeFiles)VAR");
562  print(0, "", "CMAKE_FIND_FRAMEWORK", R"VAR(LAST)VAR");
563  print(0, "", "CMAKE_FIND_LIBRARY_PREFIXES", R"VAR(lib)VAR");
564  print(0, "", "CMAKE_FIND_LIBRARY_SUFFIXES", R"VAR(.so;.a)VAR");
565  print(0, "INTERNAL", "CMAKE_GENERATOR", R"VAR(Unix Makefiles)VAR");
566  print(0, "INTERNAL", "CMAKE_GENERATOR_INSTANCE", R"VAR()VAR");
567  print(0, "INTERNAL", "CMAKE_GENERATOR_PLATFORM", R"VAR()VAR");
568  print(0, "INTERNAL", "CMAKE_GENERATOR_TOOLSET", R"VAR()VAR");
569  print(0, "INTERNAL", "CMAKE_HOME_DIRECTORY", R"VAR(/builds/ths/smt/smtrat)VAR");
570  print(0, "", "CMAKE_HOST_SYSTEM", R"VAR(Linux-6.1.0-0.deb11.11-amd64)VAR");
571  print(0, "", "CMAKE_HOST_SYSTEM_NAME", R"VAR(Linux)VAR");
572  print(0, "", "CMAKE_HOST_SYSTEM_PROCESSOR", R"VAR(x86_64)VAR");
573  print(0, "", "CMAKE_HOST_SYSTEM_VERSION", R"VAR(6.1.0-0.deb11.11-amd64)VAR");
574  print(0, "", "CMAKE_HOST_UNIX", R"VAR(1)VAR");
575  print(0, "", "CMAKE_INCLUDE_FLAG_C", R"VAR(-I)VAR");
576  print(0, "", "CMAKE_INCLUDE_FLAG_CXX", R"VAR(-I)VAR");
577  print(0, "", "CMAKE_INCLUDE_SYSTEM_FLAG_CXX", R"VAR(-isystem )VAR");
578  print(1, "PATH", "CMAKE_INSTALL_BINDIR", R"VAR(bin)VAR");
579  print(1, "PATH", "CMAKE_INSTALL_DATADIR", R"VAR()VAR");
580  print(1, "PATH", "CMAKE_INSTALL_DATAROOTDIR", R"VAR(share)VAR");
581  print(0, "", "CMAKE_INSTALL_DEFAULT_COMPONENT_NAME", R"VAR(Unspecified)VAR");
582  print(0, "PATH", "CMAKE_INSTALL_DIR", R"VAR(/usr/local/lib/CMake/smtrat)VAR");
583  print(0, "PATH", "CMAKE_INSTALL_DIR", R"VAR(/usr/local/lib/CMake/smtrat)VAR");
584  print(1, "PATH", "CMAKE_INSTALL_DOCDIR", R"VAR()VAR");
585  print(1, "PATH", "CMAKE_INSTALL_INCLUDEDIR", R"VAR(include)VAR");
586  print(1, "PATH", "CMAKE_INSTALL_INFODIR", R"VAR()VAR");
587  print(1, "PATH", "CMAKE_INSTALL_LIBDIR", R"VAR(lib)VAR");
588  print(1, "PATH", "CMAKE_INSTALL_LIBEXECDIR", R"VAR(libexec)VAR");
589  print(1, "PATH", "CMAKE_INSTALL_LOCALEDIR", R"VAR()VAR");
590  print(1, "PATH", "CMAKE_INSTALL_LOCALSTATEDIR", R"VAR(var)VAR");
591  print(1, "PATH", "CMAKE_INSTALL_MANDIR", R"VAR()VAR");
592  print(1, "PATH", "CMAKE_INSTALL_OLDINCLUDEDIR", R"VAR(/usr/include)VAR");
593  print(0, "PATH", "CMAKE_INSTALL_PREFIX", R"VAR(/usr/local)VAR");
594  print(0, "", "CMAKE_INSTALL_PREFIX_INITIALIZED_TO_DEFAULT", R"VAR(1)VAR");
595  print(1, "PATH", "CMAKE_INSTALL_RUNSTATEDIR", R"VAR()VAR");
596  print(1, "PATH", "CMAKE_INSTALL_SBINDIR", R"VAR(sbin)VAR");
597  print(1, "PATH", "CMAKE_INSTALL_SHAREDSTATEDIR", R"VAR(com)VAR");
598  print(0, "INTERNAL", "CMAKE_INSTALL_SO_NO_EXE", R"VAR(1)VAR");
599  print(1, "PATH", "CMAKE_INSTALL_SYSCONFDIR", R"VAR(etc)VAR");
600  print(0, "", "CMAKE_INTERNAL_PLATFORM_ABI", R"VAR(ELF)VAR");
601  print(0, "", "CMAKE_LIBRARY_ARCHITECTURE", R"VAR(x86_64-linux-gnu)VAR");
602  print(0, "", "CMAKE_LIBRARY_ARCHITECTURE_REGEX", R"VAR([a-z0-9_]+(-[a-z0-9_]+)?-linux-gnu[a-z0-9_]*)VAR");
603  print(0, "", "CMAKE_LIBRARY_PATH_FLAG", R"VAR(-L)VAR");
604  print(0, "", "CMAKE_LIBRARY_PATH_TERMINATOR", R"VAR()VAR");
605  print(1, "FILEPATH", "CMAKE_LINKER", R"VAR(/usr/bin/ld)VAR");
606  print(1, "FILEPATH", "CMAKE_LINKER", R"VAR(/usr/bin/ld)VAR");
607  print(0, "", "CMAKE_LINK_LIBRARY_FLAG", R"VAR(-l)VAR");
608  print(0, "", "CMAKE_LINK_LIBRARY_SUFFIX", R"VAR()VAR");
609  print(0, "", "CMAKE_LINK_WHAT_YOU_USE_CHECK", R"VAR(ldd;-u;-r)VAR");
610  print(0, "", "CMAKE_MAJOR_VERSION", R"VAR(3)VAR");
611  print(1, "FILEPATH", "CMAKE_MAKE_PROGRAM", R"VAR(/usr/bin/gmake)VAR");
612  print(0, "", "CMAKE_MATCH_0", R"VAR(DOT_CLEANUP = YES)VAR");
613  print(0, "", "CMAKE_MATCH_1", R"VAR(DOT_CLEANUP)VAR");
614  print(0, "", "CMAKE_MATCH_2", R"VAR( )VAR");
615  print(0, "", "CMAKE_MATCH_3", R"VAR( YES)VAR");
616  print(0, "", "CMAKE_MATCH_4", R"VAR(YES)VAR");
617  print(0, "", "CMAKE_MATCH_COUNT", R"VAR(4)VAR");
618  print(0, "", "CMAKE_MINIMUM_REQUIRED_VERSION", R"VAR(3.7)VAR");
619  print(0, "", "CMAKE_MINOR_VERSION", R"VAR(22)VAR");
620  print(1, "STRING", "CMAKE_MODULE_LINKER_FLAGS", R"VAR()VAR");
621  print(1, "STRING", "CMAKE_MODULE_LINKER_FLAGS_DEBUG", R"VAR()VAR");
622  print(0, "", "CMAKE_MODULE_LINKER_FLAGS_INIT", R"VAR( )VAR");
623  print(1, "STRING", "CMAKE_MODULE_LINKER_FLAGS_MINSIZEREL", R"VAR()VAR");
624  print(1, "STRING", "CMAKE_MODULE_LINKER_FLAGS_RELEASE", R"VAR()VAR");
625  print(1, "STRING", "CMAKE_MODULE_LINKER_FLAGS_RELWITHDEBINFO", R"VAR()VAR");
626  print(0, "", "CMAKE_MODULE_PATH", R"VAR(/builds/ths/smt/smtrat/cmake)VAR");
627  print(0, "", "CMAKE_MT", R"VAR()VAR");
628  print(1, "FILEPATH", "CMAKE_NM", R"VAR(/usr/bin/nm)VAR");
629  print(1, "FILEPATH", "CMAKE_OBJCOPY", R"VAR(/usr/bin/objcopy)VAR");
630  print(1, "FILEPATH", "CMAKE_OBJDUMP", R"VAR(/usr/bin/objdump)VAR");
631  print(0, "", "CMAKE_PARENT_LIST_FILE", R"VAR(/builds/ths/smt/smtrat/src/cli/CMakeLists.txt)VAR");
632  print(0, "", "CMAKE_PATCH_VERSION", R"VAR(1)VAR");
633  print(0, "", "CMAKE_PCH_EXTENSION", R"VAR(.gch)VAR");
634  print(0, "", "CMAKE_PCH_PROLOGUE", R"VAR(#pragma GCC system_header)VAR");
635  print(0, "", "CMAKE_PLATFORM_IMPLICIT_LINK_DIRECTORIES", R"VAR(/lib;/lib32;/lib64;/usr/lib;/usr/lib32;/usr/lib64)VAR");
636  print(0, "", "CMAKE_PLATFORM_INFO_DIR", R"VAR(/builds/ths/smt/smtrat/build/CMakeFiles/3.22.1)VAR");
637  print(0, "INTERNAL", "CMAKE_PLATFORM_INFO_INITIALIZED", R"VAR(1)VAR");
638  print(0, "", "CMAKE_PLATFORM_USES_PATH_WHEN_NO_SONAME", R"VAR(1)VAR");
639  print(0, "STATIC", "CMAKE_PROJECT_DESCRIPTION", R"VAR()VAR");
640  print(0, "STATIC", "CMAKE_PROJECT_HOMEPAGE_URL", R"VAR()VAR");
641  print(0, "STATIC", "CMAKE_PROJECT_NAME", R"VAR(smtrat)VAR");
642  print(1, "FILEPATH", "CMAKE_RANLIB", R"VAR(/usr/bin/ranlib)VAR");
643  print(1, "FILEPATH", "CMAKE_RANLIB", R"VAR(/usr/bin/ranlib)VAR");
644  print(1, "FILEPATH", "CMAKE_READELF", R"VAR(/usr/bin/readelf)VAR");
645  print(0, "INTERNAL", "CMAKE_ROOT", R"VAR(/usr/share/cmake-3.22)VAR");
646  print(0, "", "CMAKE_SHARED_LIBRARY_CREATE_CXX_FLAGS", R"VAR(-shared)VAR");
647  print(0, "", "CMAKE_SHARED_LIBRARY_CREATE_C_FLAGS", R"VAR(-shared)VAR");
648  print(0, "", "CMAKE_SHARED_LIBRARY_CXX_FLAGS", R"VAR(-fPIC)VAR");
649  print(0, "", "CMAKE_SHARED_LIBRARY_C_FLAGS", R"VAR()VAR");
650  print(0, "", "CMAKE_SHARED_LIBRARY_LINK_CXX_FLAGS", R"VAR(-rdynamic)VAR");
651  print(0, "", "CMAKE_SHARED_LIBRARY_LINK_C_FLAGS", R"VAR()VAR");
652  print(0, "", "CMAKE_SHARED_LIBRARY_LINK_DYNAMIC_CXX_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
653  print(0, "", "CMAKE_SHARED_LIBRARY_LINK_DYNAMIC_C_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
654  print(0, "", "CMAKE_SHARED_LIBRARY_LINK_STATIC_CXX_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
655  print(0, "", "CMAKE_SHARED_LIBRARY_LINK_STATIC_C_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
656  print(0, "", "CMAKE_SHARED_LIBRARY_PREFIX", R"VAR(lib)VAR");
657  print(0, "", "CMAKE_SHARED_LIBRARY_RPATH_LINK_CXX_FLAG", R"VAR(-Wl,-rpath-link,)VAR");
658  print(0, "", "CMAKE_SHARED_LIBRARY_RPATH_LINK_C_FLAG", R"VAR(-Wl,-rpath-link,)VAR");
659  print(0, "", "CMAKE_SHARED_LIBRARY_RPATH_ORIGIN_TOKEN", R"VAR($ORIGIN)VAR");
660  print(0, "", "CMAKE_SHARED_LIBRARY_RUNTIME_CXX_FLAG", R"VAR(-Wl,-rpath,)VAR");
661  print(0, "", "CMAKE_SHARED_LIBRARY_RUNTIME_CXX_FLAG_SEP", R"VAR(:)VAR");
662  print(0, "", "CMAKE_SHARED_LIBRARY_RUNTIME_C_FLAG", R"VAR(-Wl,-rpath,)VAR");
663  print(0, "", "CMAKE_SHARED_LIBRARY_RUNTIME_C_FLAG_SEP", R"VAR(:)VAR");
664  print(0, "", "CMAKE_SHARED_LIBRARY_SONAME_CXX_FLAG", R"VAR(-Wl,-soname,)VAR");
665  print(0, "", "CMAKE_SHARED_LIBRARY_SONAME_C_FLAG", R"VAR(-Wl,-soname,)VAR");
666  print(0, "", "CMAKE_SHARED_LIBRARY_SUFFIX", R"VAR(.so)VAR");
667  print(1, "STRING", "CMAKE_SHARED_LINKER_FLAGS", R"VAR()VAR");
668  print(1, "STRING", "CMAKE_SHARED_LINKER_FLAGS_DEBUG", R"VAR()VAR");
669  print(0, "", "CMAKE_SHARED_LINKER_FLAGS_INIT", R"VAR( )VAR");
670  print(1, "STRING", "CMAKE_SHARED_LINKER_FLAGS_MINSIZEREL", R"VAR()VAR");
671  print(1, "STRING", "CMAKE_SHARED_LINKER_FLAGS_RELEASE", R"VAR()VAR");
672  print(1, "STRING", "CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO", R"VAR()VAR");
673  print(0, "", "CMAKE_SHARED_MODULE_CREATE_CXX_FLAGS", R"VAR(-shared)VAR");
674  print(0, "", "CMAKE_SHARED_MODULE_CXX_FLAGS", R"VAR(-fPIC)VAR");
675  print(0, "", "CMAKE_SHARED_MODULE_LINK_DYNAMIC_CXX_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
676  print(0, "", "CMAKE_SHARED_MODULE_LINK_DYNAMIC_C_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
677  print(0, "", "CMAKE_SHARED_MODULE_LINK_STATIC_CXX_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
678  print(0, "", "CMAKE_SHARED_MODULE_LINK_STATIC_C_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
679  print(0, "", "CMAKE_SHARED_MODULE_PREFIX", R"VAR(lib)VAR");
680  print(0, "", "CMAKE_SHARED_MODULE_SUFFIX", R"VAR(.so)VAR");
681  print(0, "", "CMAKE_SIZEOF_VOID_P", R"VAR(8)VAR");
682  print(1, "BOOL", "CMAKE_SKIP_INSTALL_RPATH", R"VAR(NO)VAR");
683  print(1, "BOOL", "CMAKE_SKIP_RPATH", R"VAR(NO)VAR");
684  print(0, "", "CMAKE_SOURCE_DIR", R"VAR(/builds/ths/smt/smtrat)VAR");
685  print(0, "", "CMAKE_STATIC_LIBRARY_PREFIX", R"VAR(lib)VAR");
686  print(0, "", "CMAKE_STATIC_LIBRARY_SUFFIX", R"VAR(.a)VAR");
687  print(1, "STRING", "CMAKE_STATIC_LINKER_FLAGS", R"VAR()VAR");
688  print(1, "STRING", "CMAKE_STATIC_LINKER_FLAGS_DEBUG", R"VAR()VAR");
689  print(1, "STRING", "CMAKE_STATIC_LINKER_FLAGS_MINSIZEREL", R"VAR()VAR");
690  print(1, "STRING", "CMAKE_STATIC_LINKER_FLAGS_RELEASE", R"VAR()VAR");
691  print(1, "STRING", "CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO", R"VAR()VAR");
692  print(1, "FILEPATH", "CMAKE_STRIP", R"VAR(/usr/bin/strip)VAR");
693  print(0, "", "CMAKE_SYSTEM", R"VAR(Linux-6.1.0-0.deb11.11-amd64)VAR");
694  print(0, "", "CMAKE_SYSTEM_INCLUDE_PATH", R"VAR(/usr/include/X11)VAR");
695  print(0, "", "CMAKE_SYSTEM_INFO_FILE", R"VAR(Platform/Linux)VAR");
696  print(0, "", "CMAKE_SYSTEM_LIBRARY_PATH", R"VAR(/usr/lib/X11)VAR");
697  print(0, "", "CMAKE_SYSTEM_LOADED", R"VAR(1)VAR");
698  print(0, "", "CMAKE_SYSTEM_NAME", R"VAR(Linux)VAR");
699  print(0, "", "CMAKE_SYSTEM_PREFIX_PATH", R"VAR(/usr/local;/usr;/;/usr;/usr/local;/usr/X11R6;/usr/pkg;/opt)VAR");
700  print(0, "", "CMAKE_SYSTEM_PROCESSOR", R"VAR(x86_64)VAR");
701  print(0, "", "CMAKE_SYSTEM_SPECIFIC_INFORMATION_LOADED", R"VAR(1)VAR");
702  print(0, "", "CMAKE_SYSTEM_SPECIFIC_INITIALIZE_LOADED", R"VAR(1)VAR");
703  print(0, "", "CMAKE_SYSTEM_VERSION", R"VAR(6.1.0-0.deb11.11-amd64)VAR");
704  print(0, "", "CMAKE_TESTING_ENABLED", R"VAR(1)VAR");
705  print(0, "", "CMAKE_TWEAK_VERSION", R"VAR(0)VAR");
706  print(0, "INTERNAL", "CMAKE_UNAME", R"VAR(/usr/bin/uname)VAR");
707  print(1, "BOOL", "CMAKE_VERBOSE_MAKEFILE", R"VAR(FALSE)VAR");
708  print(0, "", "CMAKE_VERSION", R"VAR(3.22.1)VAR");
709  print(0, "", "COMPILER_BASENAME", R"VAR(c++)VAR");
710  print(0, "", "DEF_INSTALL_CMAKE_DIR", R"VAR(lib/CMake/smtrat)VAR");
711  print(0, "BOOL", "DEVELOPER", R"VAR(ON)VAR");
712  print(0, "", "DOT", R"VAR(/usr/bin/dot)VAR");
713  print(0, "", "DOXYGEN", R"VAR(/usr/bin/doxygen)VAR");
714  print(1, "FILEPATH", "DOXYGEN_DOT_EXECUTABLE", R"VAR(/usr/bin/dot)VAR");
715  print(0, "", "DOXYGEN_DOT_FOUND", R"VAR(YES)VAR");
716  print(0, "", "DOXYGEN_DOT_PATH", R"VAR(/usr/bin)VAR");
717  print(1, "FILEPATH", "DOXYGEN_EXECUTABLE", R"VAR(/usr/bin/doxygen)VAR");
718  print(0, "", "DOXYGEN_FIND_QUIETLY", R"VAR(TRUE)VAR");
719  print(0, "", "DOXYGEN_FOUND", R"VAR(YES)VAR");
720  print(0, "", "DOXYGEN_VERSION", R"VAR(1.9.1)VAR");
721  print(1, "FILEPATH", "DVIPDF_CONVERTER", R"VAR(/usr/bin/dvipdfm)VAR");
722  print(1, "FILEPATH", "DVIPS_CONVERTER", R"VAR(/usr/bin/dvips)VAR");
723  print(0, "", "DYNAMIC_EXT", R"VAR(.so)VAR");
724  print(0, "", "Doxygen_FOUND", R"VAR(TRUE)VAR");
725  print(0, "", "Doxygen_dot_FOUND", R"VAR(TRUE)VAR");
726  print(0, "", "Doxygen_doxygen_FOUND", R"VAR(TRUE)VAR");
727  print(0, "PATH", "EXECUTABLE_OUTPUT_PATH", R"VAR(/builds/ths/smt/smtrat/build)VAR");
728  print(0, "PATH", "EXECUTABLE_OUTPUT_PATH", R"VAR(/builds/ths/smt/smtrat/build)VAR");
729  print(0, "INTERNAL", "FIND_PACKAGE_MESSAGE_DETAILS_LATEX", R"VAR([/usr/bin/latex][cfound components: PDFLATEX BIBTEX ][v()])VAR");
730  print(0, "BOOL", "FORCE_SHIPPED_RESOURCES", R"VAR(OFF)VAR");
731  print(1, "FILEPATH", "HTLATEX_COMPILER", R"VAR(/usr/bin/htlatex)VAR");
732  print(0, "", "INCLUDE_INSTALL_DIR", R"VAR(/usr/local/)VAR");
733  print(1, "FILEPATH", "LATEX2HTML_CONVERTER", R"VAR(LATEX2HTML_CONVERTER-NOTFOUND)VAR");
734  print(1, "FILEPATH", "LATEX_COMPILER", R"VAR(/usr/bin/latex)VAR");
735  print(0, "", "LIB_INSTALL_DIR", R"VAR(/usr/local/)VAR");
736  print(0, "", "LICENSE_CONTENT_IN", R"VAR(Copyright (c) 2015-2022 Florian Corzilius <corzilius@cs.rwth-aachen.de>,; Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>,; Jasper Nalbach <nalbach@cs.rwth-aachen.de>,; Sebastian Junges <sebastian.junges@cs.rwth-aachen.de>,; Stefan Schupp <stefan.schupp@cs.rwth-aachen.de>,; Erika Abraham <abraham@cs.rwth-aachen.de>;;Permission is hereby granted, free of charge, to any person obtaining a copy;of this software and associated documentation files (the "Software"), to deal;in the Software without restriction, including without limitation the rights;to use, copy, modify, merge, publish, distribute, sublicense, and/or sell;copies of the Software, and to permit persons to whom the Software is;furnished to do so, subject to the following conditions:;;The above copyright notice and this permission notice shall be included in;all copies or substantial portions of the Software.;;THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR;IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,;FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE;AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER;LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,;OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN;THE SOFTWARE.)VAR");
737  print(0, "BOOL", "LOGGING", R"VAR(OFF)VAR");
738  print(1, "FILEPATH", "LUALATEX_COMPILER", R"VAR(/usr/bin/lualatex)VAR");
739  print(1, "FILEPATH", "MAKEINDEX_COMPILER", R"VAR(/usr/bin/makeindex)VAR");
740  print(0, "", "MSVC_CXX_ARCHITECTURE_ID", R"VAR()VAR");
741  print(0, "", "PACKAGE_PREFIX_DIR", R"VAR(/builds/ths/smt/smtrat/build/resources)VAR");
742  print(1, "FILEPATH", "PDFLATEX_COMPILER", R"VAR(/usr/bin/pdflatex)VAR");
743  print(1, "FILEPATH", "PDFTOPS_CONVERTER", R"VAR(PDFTOPS_CONVERTER-NOTFOUND)VAR");
744  print(0, "", "PRESET_CMAKE_SYSTEM_NAME", R"VAR(FALSE)VAR");
745  print(0, "", "PROJECT_BINARY_DIR", R"VAR(/builds/ths/smt/smtrat/build)VAR");
746  print(0, "", "PROJECT_DESCRIPTION", R"VAR(Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving)VAR");
747  print(0, "", "PROJECT_FULLNAME", R"VAR(SMT-RAT)VAR");
748  print(0, "", "PROJECT_HOMEPAGE_URL", R"VAR()VAR");
749  print(0, "", "PROJECT_IS_TOP_LEVEL", R"VAR(ON)VAR");
750  print(0, "", "PROJECT_NAME", R"VAR(smtrat)VAR");
751  print(0, "", "PROJECT_SOURCE_DIR", R"VAR(/builds/ths/smt/smtrat)VAR");
752  print(0, "", "PROJECT_VERSION", R"VAR(24.02)VAR");
753  print(0, "", "PROJECT_VERSION_FULL", R"VAR(24.02)VAR");
754  print(0, "", "PROJECT_VERSION_LIB", R"VAR(24.02)VAR");
755  print(0, "", "PROJECT_VERSION_MAJOR", R"VAR(24)VAR");
756  print(0, "", "PROJECT_VERSION_MINOR", R"VAR(02)VAR");
757  print(1, "FILEPATH", "PS2PDF_CONVERTER", R"VAR(/usr/bin/ps2pdf14)VAR");
758  print(0, "", "RUN_CONFIGURE", R"VAR(ON)VAR");
759  print(0, "BOOL", "SMTRAT_DEVOPTION_Checkpoints", R"VAR(OFF)VAR");
760  print(0, "BOOL", "SMTRAT_DEVOPTION_Expensive", R"VAR(OFF)VAR");
761  print(0, "BOOL", "SMTRAT_DEVOPTION_Statistics", R"VAR(OFF)VAR");
762  print(0, "BOOL", "SMTRAT_DEVOPTION_Validation", R"VAR(OFF)VAR");
763  print(0, "", "SMTRAT_MANUAL_PATH", R"VAR(/builds/ths/smt/smtrat/doc/manual_smtrat-24.02.pdf)VAR");
764  print(0, "", "SMTRAT_MODULES_PATH", R"VAR(/builds/ths/smt/smtrat/src/lib/modules)VAR");
765  print(0, "BOOL", "SMTRAT_STRAT_PARALLEL_MODE", R"VAR(OFF)VAR");
766  print(0, "STRING", "SMTRAT_Strategy", R"VAR(SMTCOMP)VAR");
767  print(0, "", "STATIC_EXT", R"VAR(.a)VAR");
768  print(0, "", "UNIX", R"VAR(1)VAR");
769  print(0, "UNINITIALIZED", "USE_COCOA", R"VAR(ON)VAR");
770  print(0, "BOOL", "USE_MIMALLOC", R"VAR(OFF)VAR");
771  print(1, "FILEPATH", "XELATEX_COMPILER", R"VAR(XELATEX_COMPILER-NOTFOUND)VAR");
772  print(1, "FILEPATH", "XINDY_COMPILER", R"VAR(XINDY_COMPILER-NOTFOUND)VAR");
773  print(0, "", "_CMAKE_CUDA_IMPLICIT_INCLUDE_DIRECTORIES_INIT", R"VAR(/usr/include)VAR");
774  print(0, "", "_CMAKE_CXX_IMPLICIT_INCLUDE_DIRECTORIES_INIT", R"VAR(/usr/include)VAR");
775  print(0, "", "_CMAKE_CXX_IPO_MAY_BE_SUPPORTED_BY_COMPILER", R"VAR(YES)VAR");
776  print(0, "", "_CMAKE_CXX_IPO_SUPPORTED_BY_CMAKE", R"VAR(YES)VAR");
777  print(0, "", "_CMAKE_CXX_PIE_MAY_BE_SUPPORTED_BY_LINKER", R"VAR(YES)VAR");
778  print(0, "", "_CMAKE_C_IMPLICIT_INCLUDE_DIRECTORIES_INIT", R"VAR(/usr/include)VAR");
779  print(0, "", "_CMAKE_INSTALL_DIR", R"VAR(/usr)VAR");
780  print(0, "", "_CMAKE_TOOLCHAIN_LOCATION", R"VAR(/usr/bin)VAR");
781  print(0, "", "_Doxygen_tpl_result", R"VAR(0)VAR");
782  print(0, "", "_Doxygen_version_result", R"VAR(0)VAR");
783  print(0, "INTERNAL", "_GNUInstallDirs_LAST_CMAKE_INSTALL_PREFIX", R"VAR(/usr/local)VAR");
784  print(0, "", "_INCLUDED_FILE", R"VAR(/usr/share/cmake-3.22/Modules/Platform/Linux-GNU-CXX.cmake)VAR");
785  print(0, "", "_INCLUDED_SYSTEM_INFO_FILE", R"VAR(/usr/share/cmake-3.22/Modules/Platform/Linux.cmake)VAR");
786  print(0, "", "_IN_TC", R"VAR(0)VAR");
787  print(0, "", "_SET_CMAKE_CXX_COMPILER_ARCHITECTURE_ID", R"VAR()VAR");
788  print(0, "", "_SET_CMAKE_CXX_COMPILER_SYSROOT", R"VAR()VAR");
789  print(0, "", "__COMPILER_CMAKE_COMMON_COMPILER_MACROS", R"VAR(1)VAR");
790  print(0, "", "__COMPILER_GNU", R"VAR(1)VAR");
791  print(0, "", "__LINUX_COMPILER_GNU", R"VAR(1)VAR");
792  print(0, "", "__UNIX_PATHS_INCLUDED", R"VAR(1)VAR");
793  print(0, "", "__gcc_hints", R"VAR(/usr/bin)VAR");
794  print(0, "", "__lto_flags", R"VAR(-flto;-fno-fat-lto-objects)VAR");
795  print(0, "", "__pch_header_C", R"VAR(c-header)VAR");
796  print(0, "", "__pch_header_CXX", R"VAR(c++-header)VAR");
797  print(0, "", "__pch_header_OBJC", R"VAR(objective-c-header)VAR");
798  print(0, "", "__pch_header_OBJCXX", R"VAR(objective-c++-header)VAR");
799  print(0, "", "__version_x", R"VAR(11)VAR");
800  print(0, "", "__version_x_y", R"VAR(11.3)VAR");
801  print(0, "", "_doxyfile_defaults", R"VAR(/builds/ths/smt/smtrat/build/CMakeDoxygenDefaults.cmake)VAR");
802  print(0, "", "_doxyfile_defaults_contents", R"VAR(if(NOT DEFINED DOXYGEN_DOXYFILE_ENCODING)
803  set(DOXYGEN_DOXYFILE_ENCODING UTF-8)
804 endif()
805 if(NOT DEFINED DOXYGEN_PROJECT_NAME)
806  set(DOXYGEN_PROJECT_NAME "My Project")
807 endif()
808 if(NOT DEFINED DOXYGEN_CREATE_SUBDIRS)
809  set(DOXYGEN_CREATE_SUBDIRS NO)
810 endif()
811 if(NOT DEFINED DOXYGEN_ALLOW_UNICODE_NAMES)
812  set(DOXYGEN_ALLOW_UNICODE_NAMES NO)
813 endif()
814 if(NOT DEFINED DOXYGEN_OUTPUT_LANGUAGE)
815  set(DOXYGEN_OUTPUT_LANGUAGE English)
816 endif()
817 if(NOT DEFINED DOXYGEN_OUTPUT_TEXT_DIRECTION)
818  set(DOXYGEN_OUTPUT_TEXT_DIRECTION None)
819 endif()
820 if(NOT DEFINED DOXYGEN_BRIEF_MEMBER_DESC)
821  set(DOXYGEN_BRIEF_MEMBER_DESC YES)
822 endif()
823 if(NOT DEFINED DOXYGEN_REPEAT_BRIEF)
824  set(DOXYGEN_REPEAT_BRIEF YES)
825 endif()
826 if(NOT DEFINED DOXYGEN_ABBREVIATE_BRIEF)
827  set(DOXYGEN_ABBREVIATE_BRIEF "The $name class"
828  "The $name widget"
829  "The $name file"
830  is
831  provides
832  specifies
833  contains
834  represents
835  a
836  an
837  the)
838 endif()
839 if(NOT DEFINED DOXYGEN_ALWAYS_DETAILED_SEC)
840  set(DOXYGEN_ALWAYS_DETAILED_SEC NO)
841 endif()
842 if(NOT DEFINED DOXYGEN_INLINE_INHERITED_MEMB)
843  set(DOXYGEN_INLINE_INHERITED_MEMB NO)
844 endif()
845 if(NOT DEFINED DOXYGEN_FULL_PATH_NAMES)
846  set(DOXYGEN_FULL_PATH_NAMES YES)
847 endif()
848 if(NOT DEFINED DOXYGEN_SHORT_NAMES)
849  set(DOXYGEN_SHORT_NAMES NO)
850 endif()
851 if(NOT DEFINED DOXYGEN_JAVADOC_AUTOBRIEF)
852  set(DOXYGEN_JAVADOC_AUTOBRIEF NO)
853 endif()
854 if(NOT DEFINED DOXYGEN_JAVADOC_BANNER)
855  set(DOXYGEN_JAVADOC_BANNER NO)
856 endif()
857 if(NOT DEFINED DOXYGEN_QT_AUTOBRIEF)
858  set(DOXYGEN_QT_AUTOBRIEF NO)
859 endif()
860 if(NOT DEFINED DOXYGEN_MULTILINE_CPP_IS_BRIEF)
861  set(DOXYGEN_MULTILINE_CPP_IS_BRIEF NO)
862 endif()
863 if(NOT DEFINED DOXYGEN_PYTHON_DOCSTRING)
864  set(DOXYGEN_PYTHON_DOCSTRING YES)
865 endif()
866 if(NOT DEFINED DOXYGEN_INHERIT_DOCS)
867  set(DOXYGEN_INHERIT_DOCS YES)
868 endif()
869 if(NOT DEFINED DOXYGEN_SEPARATE_MEMBER_PAGES)
870  set(DOXYGEN_SEPARATE_MEMBER_PAGES NO)
871 endif()
872 if(NOT DEFINED DOXYGEN_TAB_SIZE)
873  set(DOXYGEN_TAB_SIZE 4)
874 endif()
875 if(NOT DEFINED DOXYGEN_OPTIMIZE_OUTPUT_FOR_C)
876  set(DOXYGEN_OPTIMIZE_OUTPUT_FOR_C NO)
877 endif()
878 if(NOT DEFINED DOXYGEN_OPTIMIZE_OUTPUT_JAVA)
879  set(DOXYGEN_OPTIMIZE_OUTPUT_JAVA NO)
880 endif()
881 if(NOT DEFINED DOXYGEN_OPTIMIZE_FOR_FORTRAN)
882  set(DOXYGEN_OPTIMIZE_FOR_FORTRAN NO)
883 endif()
884 if(NOT DEFINED DOXYGEN_OPTIMIZE_OUTPUT_VHDL)
885  set(DOXYGEN_OPTIMIZE_OUTPUT_VHDL NO)
886 endif()
887 if(NOT DEFINED DOXYGEN_OPTIMIZE_OUTPUT_SLICE)
888  set(DOXYGEN_OPTIMIZE_OUTPUT_SLICE NO)
889 endif()
890 if(NOT DEFINED DOXYGEN_MARKDOWN_SUPPORT)
891  set(DOXYGEN_MARKDOWN_SUPPORT YES)
892 endif()
893 if(NOT DEFINED DOXYGEN_TOC_INCLUDE_HEADINGS)
894  set(DOXYGEN_TOC_INCLUDE_HEADINGS 5)
895 endif()
896 if(NOT DEFINED DOXYGEN_AUTOLINK_SUPPORT)
897  set(DOXYGEN_AUTOLINK_SUPPORT YES)
898 endif()
899 if(NOT DEFINED DOXYGEN_BUILTIN_STL_SUPPORT)
900  set(DOXYGEN_BUILTIN_STL_SUPPORT NO)
901 endif()
902 if(NOT DEFINED DOXYGEN_CPP_CLI_SUPPORT)
903  set(DOXYGEN_CPP_CLI_SUPPORT NO)
904 endif()
905 if(NOT DEFINED DOXYGEN_SIP_SUPPORT)
906  set(DOXYGEN_SIP_SUPPORT NO)
907 endif()
908 if(NOT DEFINED DOXYGEN_IDL_PROPERTY_SUPPORT)
909  set(DOXYGEN_IDL_PROPERTY_SUPPORT YES)
910 endif()
911 if(NOT DEFINED DOXYGEN_DISTRIBUTE_GROUP_DOC)
912  set(DOXYGEN_DISTRIBUTE_GROUP_DOC NO)
913 endif()
914 if(NOT DEFINED DOXYGEN_GROUP_NESTED_COMPOUNDS)
915  set(DOXYGEN_GROUP_NESTED_COMPOUNDS NO)
916 endif()
917 if(NOT DEFINED DOXYGEN_SUBGROUPING)
918  set(DOXYGEN_SUBGROUPING YES)
919 endif()
920 if(NOT DEFINED DOXYGEN_INLINE_GROUPED_CLASSES)
921  set(DOXYGEN_INLINE_GROUPED_CLASSES NO)
922 endif()
923 if(NOT DEFINED DOXYGEN_INLINE_SIMPLE_STRUCTS)
924  set(DOXYGEN_INLINE_SIMPLE_STRUCTS NO)
925 endif()
926 if(NOT DEFINED DOXYGEN_TYPEDEF_HIDES_STRUCT)
927  set(DOXYGEN_TYPEDEF_HIDES_STRUCT NO)
928 endif()
929 if(NOT DEFINED DOXYGEN_LOOKUP_CACHE_SIZE)
930  set(DOXYGEN_LOOKUP_CACHE_SIZE 0)
931 endif()
932 if(NOT DEFINED DOXYGEN_NUM_PROC_THREADS)
933  set(DOXYGEN_NUM_PROC_THREADS 1)
934 endif()
935 if(NOT DEFINED DOXYGEN_EXTRACT_ALL)
936  set(DOXYGEN_EXTRACT_ALL NO)
937 endif()
938 if(NOT DEFINED DOXYGEN_EXTRACT_PRIVATE)
939  set(DOXYGEN_EXTRACT_PRIVATE NO)
940 endif()
941 if(NOT DEFINED DOXYGEN_EXTRACT_PRIV_VIRTUAL)
942  set(DOXYGEN_EXTRACT_PRIV_VIRTUAL NO)
943 endif()
944 if(NOT DEFINED DOXYGEN_EXTRACT_PACKAGE)
945  set(DOXYGEN_EXTRACT_PACKAGE NO)
946 endif()
947 if(NOT DEFINED DOXYGEN_EXTRACT_STATIC)
948  set(DOXYGEN_EXTRACT_STATIC NO)
949 endif()
950 if(NOT DEFINED DOXYGEN_EXTRACT_LOCAL_CLASSES)
951  set(DOXYGEN_EXTRACT_LOCAL_CLASSES YES)
952 endif()
953 if(NOT DEFINED DOXYGEN_EXTRACT_LOCAL_METHODS)
954  set(DOXYGEN_EXTRACT_LOCAL_METHODS NO)
955 endif()
956 if(NOT DEFINED DOXYGEN_EXTRACT_ANON_NSPACES)
957  set(DOXYGEN_EXTRACT_ANON_NSPACES NO)
958 endif()
959 if(NOT DEFINED DOXYGEN_RESOLVE_UNNAMED_PARAMS)
960  set(DOXYGEN_RESOLVE_UNNAMED_PARAMS YES)
961 endif()
962 if(NOT DEFINED DOXYGEN_HIDE_UNDOC_MEMBERS)
963  set(DOXYGEN_HIDE_UNDOC_MEMBERS NO)
964 endif()
965 if(NOT DEFINED DOXYGEN_HIDE_UNDOC_CLASSES)
966  set(DOXYGEN_HIDE_UNDOC_CLASSES NO)
967 endif()
968 if(NOT DEFINED DOXYGEN_HIDE_FRIEND_COMPOUNDS)
969  set(DOXYGEN_HIDE_FRIEND_COMPOUNDS NO)
970 endif()
971 if(NOT DEFINED DOXYGEN_HIDE_IN_BODY_DOCS)
972  set(DOXYGEN_HIDE_IN_BODY_DOCS NO)
973 endif()
974 if(NOT DEFINED DOXYGEN_INTERNAL_DOCS)
975  set(DOXYGEN_INTERNAL_DOCS NO)
976 endif()
977 if(NOT DEFINED DOXYGEN_CASE_SENSE_NAMES)
978  set(DOXYGEN_CASE_SENSE_NAMES YES)
979 endif()
980 if(NOT DEFINED DOXYGEN_HIDE_SCOPE_NAMES)
981  set(DOXYGEN_HIDE_SCOPE_NAMES NO)
982 endif()
983 if(NOT DEFINED DOXYGEN_HIDE_COMPOUND_REFERENCE)
984  set(DOXYGEN_HIDE_COMPOUND_REFERENCE NO)
985 endif()
986 if(NOT DEFINED DOXYGEN_SHOW_INCLUDE_FILES)
987  set(DOXYGEN_SHOW_INCLUDE_FILES YES)
988 endif()
989 if(NOT DEFINED DOXYGEN_SHOW_GROUPED_MEMB_INC)
990  set(DOXYGEN_SHOW_GROUPED_MEMB_INC NO)
991 endif()
992 if(NOT DEFINED DOXYGEN_FORCE_LOCAL_INCLUDES)
993  set(DOXYGEN_FORCE_LOCAL_INCLUDES NO)
994 endif()
995 if(NOT DEFINED DOXYGEN_INLINE_INFO)
996  set(DOXYGEN_INLINE_INFO YES)
997 endif()
998 if(NOT DEFINED DOXYGEN_SORT_MEMBER_DOCS)
999  set(DOXYGEN_SORT_MEMBER_DOCS YES)
1000 endif()
1001 if(NOT DEFINED DOXYGEN_SORT_BRIEF_DOCS)
1002  set(DOXYGEN_SORT_BRIEF_DOCS NO)
1003 endif()
1004 if(NOT DEFINED DOXYGEN_SORT_MEMBERS_CTORS_1ST)
1005  set(DOXYGEN_SORT_MEMBERS_CTORS_1ST NO)
1006 endif()
1007 if(NOT DEFINED DOXYGEN_SORT_GROUP_NAMES)
1008  set(DOXYGEN_SORT_GROUP_NAMES NO)
1009 endif()
1010 if(NOT DEFINED DOXYGEN_SORT_BY_SCOPE_NAME)
1011  set(DOXYGEN_SORT_BY_SCOPE_NAME NO)
1012 endif()
1013 if(NOT DEFINED DOXYGEN_STRICT_PROTO_MATCHING)
1014  set(DOXYGEN_STRICT_PROTO_MATCHING NO)
1015 endif()
1016 if(NOT DEFINED DOXYGEN_GENERATE_TODOLIST)
1017  set(DOXYGEN_GENERATE_TODOLIST YES)
1018 endif()
1019 if(NOT DEFINED DOXYGEN_GENERATE_TESTLIST)
1020  set(DOXYGEN_GENERATE_TESTLIST YES)
1021 endif()
1022 if(NOT DEFINED DOXYGEN_GENERATE_BUGLIST)
1023  set(DOXYGEN_GENERATE_BUGLIST YES)
1024 endif()
1025 if(NOT DEFINED DOXYGEN_GENERATE_DEPRECATEDLIST)
1026  set(DOXYGEN_GENERATE_DEPRECATEDLIST YES)
1027 endif()
1028 if(NOT DEFINED DOXYGEN_MAX_INITIALIZER_LINES)
1029  set(DOXYGEN_MAX_INITIALIZER_LINES 30)
1030 endif()
1031 if(NOT DEFINED DOXYGEN_SHOW_USED_FILES)
1032  set(DOXYGEN_SHOW_USED_FILES YES)
1033 endif()
1034 if(NOT DEFINED DOXYGEN_SHOW_FILES)
1035  set(DOXYGEN_SHOW_FILES YES)
1036 endif()
1037 if(NOT DEFINED DOXYGEN_SHOW_NAMESPACES)
1038  set(DOXYGEN_SHOW_NAMESPACES YES)
1039 endif()
1040 if(NOT DEFINED DOXYGEN_QUIET)
1041  set(DOXYGEN_QUIET NO)
1042 endif()
1043 if(NOT DEFINED DOXYGEN_WARNINGS)
1044  set(DOXYGEN_WARNINGS YES)
1045 endif()
1046 if(NOT DEFINED DOXYGEN_WARN_IF_UNDOCUMENTED)
1047  set(DOXYGEN_WARN_IF_UNDOCUMENTED YES)
1048 endif()
1049 if(NOT DEFINED DOXYGEN_WARN_IF_DOC_ERROR)
1050  set(DOXYGEN_WARN_IF_DOC_ERROR YES)
1051 endif()
1052 if(NOT DEFINED DOXYGEN_WARN_NO_PARAMDOC)
1053  set(DOXYGEN_WARN_NO_PARAMDOC NO)
1054 endif()
1055 if(NOT DEFINED DOXYGEN_WARN_AS_ERROR)
1056  set(DOXYGEN_WARN_AS_ERROR NO)
1057 endif()
1058 if(NOT DEFINED DOXYGEN_WARN_FORMAT)
1059  set(DOXYGEN_WARN_FORMAT "$file:$line: $text")
1060 endif()
1061 if(NOT DEFINED DOXYGEN_INPUT_ENCODING)
1062  set(DOXYGEN_INPUT_ENCODING UTF-8)
1063 endif()
1064 if(NOT DEFINED DOXYGEN_FILE_PATTERNS)
1065  set(DOXYGEN_FILE_PATTERNS *.c
1066  *.cc
1067  *.cxx
1068  *.cpp
1069  *.c++
1070  *.java
1071  *.ii
1072  *.ixx
1073  *.ipp
1074  *.i++
1075  *.inl
1076  *.idl
1077  *.ddl
1078  *.odl
1079  *.h
1080  *.hh
1081  *.hxx
1082  *.hpp
1083  *.h++
1084  *.cs
1085  *.d
1086  *.php
1087  *.php4
1088  *.php5
1089  *.phtml
1090  *.inc
1091  *.m
1092  *.markdown
1093  *.md
1094  *.mm
1095  *.dox
1096  *.py
1097  *.pyw
1098  *.f90
1099  *.f95
1100  *.f03
1101  *.f08
1102  *.f18
1103  *.f
1104  *.for
1105  *.vhd
1106  *.vhdl
1107  *.ucf
1108  *.qsf
1109  *.ice)
1110 endif()
1111 if(NOT DEFINED DOXYGEN_RECURSIVE)
1112  set(DOXYGEN_RECURSIVE NO)
1113 endif()
1114 if(NOT DEFINED DOXYGEN_EXCLUDE_SYMLINKS)
1115  set(DOXYGEN_EXCLUDE_SYMLINKS NO)
1116 endif()
1117 if(NOT DEFINED DOXYGEN_EXAMPLE_PATTERNS)
1118  set(DOXYGEN_EXAMPLE_PATTERNS *)
1119 endif()
1120 if(NOT DEFINED DOXYGEN_EXAMPLE_RECURSIVE)
1121  set(DOXYGEN_EXAMPLE_RECURSIVE NO)
1122 endif()
1123 if(NOT DEFINED DOXYGEN_FILTER_SOURCE_FILES)
1124  set(DOXYGEN_FILTER_SOURCE_FILES NO)
1125 endif()
1126 if(NOT DEFINED DOXYGEN_SOURCE_BROWSER)
1127  set(DOXYGEN_SOURCE_BROWSER NO)
1128 endif()
1129 if(NOT DEFINED DOXYGEN_INLINE_SOURCES)
1130  set(DOXYGEN_INLINE_SOURCES NO)
1131 endif()
1132 if(NOT DEFINED DOXYGEN_STRIP_CODE_COMMENTS)
1133  set(DOXYGEN_STRIP_CODE_COMMENTS YES)
1134 endif()
1135 if(NOT DEFINED DOXYGEN_REFERENCED_BY_RELATION)
1136  set(DOXYGEN_REFERENCED_BY_RELATION NO)
1137 endif()
1138 if(NOT DEFINED DOXYGEN_REFERENCES_RELATION)
1139  set(DOXYGEN_REFERENCES_RELATION NO)
1140 endif()
1141 if(NOT DEFINED DOXYGEN_REFERENCES_LINK_SOURCE)
1142  set(DOXYGEN_REFERENCES_LINK_SOURCE YES)
1143 endif()
1144 if(NOT DEFINED DOXYGEN_SOURCE_TOOLTIPS)
1145  set(DOXYGEN_SOURCE_TOOLTIPS YES)
1146 endif()
1147 if(NOT DEFINED DOXYGEN_USE_HTAGS)
1148  set(DOXYGEN_USE_HTAGS NO)
1149 endif()
1150 if(NOT DEFINED DOXYGEN_VERBATIM_HEADERS)
1151  set(DOXYGEN_VERBATIM_HEADERS YES)
1152 endif()
1153 if(NOT DEFINED DOXYGEN_CLANG_ASSISTED_PARSING)
1154  set(DOXYGEN_CLANG_ASSISTED_PARSING NO)
1155 endif()
1156 if(NOT DEFINED DOXYGEN_CLANG_ADD_INC_PATHS)
1157  set(DOXYGEN_CLANG_ADD_INC_PATHS YES)
1158 endif()
1159 if(NOT DEFINED DOXYGEN_ALPHABETICAL_INDEX)
1160  set(DOXYGEN_ALPHABETICAL_INDEX YES)
1161 endif()
1162 if(NOT DEFINED DOXYGEN_GENERATE_HTML)
1163  set(DOXYGEN_GENERATE_HTML YES)
1164 endif()
1165 if(NOT DEFINED DOXYGEN_HTML_OUTPUT)
1166  set(DOXYGEN_HTML_OUTPUT html)
1167 endif()
1168 if(NOT DEFINED DOXYGEN_HTML_FILE_EXTENSION)
1169  set(DOXYGEN_HTML_FILE_EXTENSION .html)
1170 endif()
1171 if(NOT DEFINED DOXYGEN_HTML_COLORSTYLE_HUE)
1172  set(DOXYGEN_HTML_COLORSTYLE_HUE 220)
1173 endif()
1174 if(NOT DEFINED DOXYGEN_HTML_COLORSTYLE_SAT)
1175  set(DOXYGEN_HTML_COLORSTYLE_SAT 100)
1176 endif()
1177 if(NOT DEFINED DOXYGEN_HTML_COLORSTYLE_GAMMA)
1178  set(DOXYGEN_HTML_COLORSTYLE_GAMMA 80)
1179 endif()
1180 if(NOT DEFINED DOXYGEN_HTML_TIMESTAMP)
1181  set(DOXYGEN_HTML_TIMESTAMP NO)
1182 endif()
1183 if(NOT DEFINED DOXYGEN_HTML_DYNAMIC_MENUS)
1184  set(DOXYGEN_HTML_DYNAMIC_MENUS YES)
1185 endif()
1186 if(NOT DEFINED DOXYGEN_HTML_DYNAMIC_SECTIONS)
1187  set(DOXYGEN_HTML_DYNAMIC_SECTIONS NO)
1188 endif()
1189 if(NOT DEFINED DOXYGEN_HTML_INDEX_NUM_ENTRIES)
1190  set(DOXYGEN_HTML_INDEX_NUM_ENTRIES 100)
1191 endif()
1192 if(NOT DEFINED DOXYGEN_GENERATE_DOCSET)
1193  set(DOXYGEN_GENERATE_DOCSET NO)
1194 endif()
1195 if(NOT DEFINED DOXYGEN_DOCSET_FEEDNAME)
1196  set(DOXYGEN_DOCSET_FEEDNAME "Doxygen generated docs")
1197 endif()
1198 if(NOT DEFINED DOXYGEN_DOCSET_BUNDLE_ID)
1199  set(DOXYGEN_DOCSET_BUNDLE_ID org.doxygen.Project)
1200 endif()
1201 if(NOT DEFINED DOXYGEN_DOCSET_PUBLISHER_ID)
1202  set(DOXYGEN_DOCSET_PUBLISHER_ID org.doxygen.Publisher)
1203 endif()
1204 if(NOT DEFINED DOXYGEN_DOCSET_PUBLISHER_NAME)
1205  set(DOXYGEN_DOCSET_PUBLISHER_NAME Publisher)
1206 endif()
1207 if(NOT DEFINED DOXYGEN_GENERATE_HTMLHELP)
1208  set(DOXYGEN_GENERATE_HTMLHELP NO)
1209 endif()
1210 if(NOT DEFINED DOXYGEN_GENERATE_CHI)
1211  set(DOXYGEN_GENERATE_CHI NO)
1212 endif()
1213 if(NOT DEFINED DOXYGEN_BINARY_TOC)
1214  set(DOXYGEN_BINARY_TOC NO)
1215 endif()
1216 if(NOT DEFINED DOXYGEN_TOC_EXPAND)
1217  set(DOXYGEN_TOC_EXPAND NO)
1218 endif()
1219 if(NOT DEFINED DOXYGEN_GENERATE_QHP)
1220  set(DOXYGEN_GENERATE_QHP NO)
1221 endif()
1222 if(NOT DEFINED DOXYGEN_QHP_NAMESPACE)
1223  set(DOXYGEN_QHP_NAMESPACE org.doxygen.Project)
1224 endif()
1225 if(NOT DEFINED DOXYGEN_QHP_VIRTUAL_FOLDER)
1226  set(DOXYGEN_QHP_VIRTUAL_FOLDER doc)
1227 endif()
1228 if(NOT DEFINED DOXYGEN_GENERATE_ECLIPSEHELP)
1229  set(DOXYGEN_GENERATE_ECLIPSEHELP NO)
1230 endif()
1231 if(NOT DEFINED DOXYGEN_ECLIPSE_DOC_ID)
1232  set(DOXYGEN_ECLIPSE_DOC_ID org.doxygen.Project)
1233 endif()
1234 if(NOT DEFINED DOXYGEN_DISABLE_INDEX)
1235  set(DOXYGEN_DISABLE_INDEX NO)
1236 endif()
1237 if(NOT DEFINED DOXYGEN_GENERATE_TREEVIEW)
1238  set(DOXYGEN_GENERATE_TREEVIEW NO)
1239 endif()
1240 if(NOT DEFINED DOXYGEN_ENUM_VALUES_PER_LINE)
1241  set(DOXYGEN_ENUM_VALUES_PER_LINE 4)
1242 endif()
1243 if(NOT DEFINED DOXYGEN_TREEVIEW_WIDTH)
1244  set(DOXYGEN_TREEVIEW_WIDTH 250)
1245 endif()
1246 if(NOT DEFINED DOXYGEN_EXT_LINKS_IN_WINDOW)
1247  set(DOXYGEN_EXT_LINKS_IN_WINDOW NO)
1248 endif()
1249 if(NOT DEFINED DOXYGEN_HTML_FORMULA_FORMAT)
1250  set(DOXYGEN_HTML_FORMULA_FORMAT png)
1251 endif()
1252 if(NOT DEFINED DOXYGEN_FORMULA_FONTSIZE)
1253  set(DOXYGEN_FORMULA_FONTSIZE 10)
1254 endif()
1255 if(NOT DEFINED DOXYGEN_FORMULA_TRANSPARENT)
1256  set(DOXYGEN_FORMULA_TRANSPARENT YES)
1257 endif()
1258 if(NOT DEFINED DOXYGEN_USE_MATHJAX)
1259  set(DOXYGEN_USE_MATHJAX NO)
1260 endif()
1261 if(NOT DEFINED DOXYGEN_MATHJAX_FORMAT)
1262  set(DOXYGEN_MATHJAX_FORMAT HTML-CSS)
1263 endif()
1264 if(NOT DEFINED DOXYGEN_MATHJAX_RELPATH)
1265  set(DOXYGEN_MATHJAX_RELPATH https://cdn.jsdelivr.net/npm/mathjax@2)
1266 endif()
1267 if(NOT DEFINED DOXYGEN_SEARCHENGINE)
1268  set(DOXYGEN_SEARCHENGINE YES)
1269 endif()
1270 if(NOT DEFINED DOXYGEN_SERVER_BASED_SEARCH)
1271  set(DOXYGEN_SERVER_BASED_SEARCH NO)
1272 endif()
1273 if(NOT DEFINED DOXYGEN_EXTERNAL_SEARCH)
1274  set(DOXYGEN_EXTERNAL_SEARCH NO)
1275 endif()
1276 if(NOT DEFINED DOXYGEN_SEARCHDATA_FILE)
1277  set(DOXYGEN_SEARCHDATA_FILE searchdata.xml)
1278 endif()
1279 if(NOT DEFINED DOXYGEN_GENERATE_LATEX)
1280  set(DOXYGEN_GENERATE_LATEX YES)
1281 endif()
1282 if(NOT DEFINED DOXYGEN_LATEX_OUTPUT)
1283  set(DOXYGEN_LATEX_OUTPUT latex)
1284 endif()
1285 if(NOT DEFINED DOXYGEN_MAKEINDEX_CMD_NAME)
1286  set(DOXYGEN_MAKEINDEX_CMD_NAME makeindex)
1287 endif()
1288 if(NOT DEFINED DOXYGEN_LATEX_MAKEINDEX_CMD)
1289  set(DOXYGEN_LATEX_MAKEINDEX_CMD makeindex)
1290 endif()
1291 if(NOT DEFINED DOXYGEN_COMPACT_LATEX)
1292  set(DOXYGEN_COMPACT_LATEX NO)
1293 endif()
1294 if(NOT DEFINED DOXYGEN_PAPER_TYPE)
1295  set(DOXYGEN_PAPER_TYPE a4)
1296 endif()
1297 if(NOT DEFINED DOXYGEN_PDF_HYPERLINKS)
1298  set(DOXYGEN_PDF_HYPERLINKS YES)
1299 endif()
1300 if(NOT DEFINED DOXYGEN_USE_PDFLATEX)
1301  set(DOXYGEN_USE_PDFLATEX YES)
1302 endif()
1303 if(NOT DEFINED DOXYGEN_LATEX_BATCHMODE)
1304  set(DOXYGEN_LATEX_BATCHMODE NO)
1305 endif()
1306 if(NOT DEFINED DOXYGEN_LATEX_HIDE_INDICES)
1307  set(DOXYGEN_LATEX_HIDE_INDICES NO)
1308 endif()
1309 if(NOT DEFINED DOXYGEN_LATEX_SOURCE_CODE)
1310  set(DOXYGEN_LATEX_SOURCE_CODE NO)
1311 endif()
1312 if(NOT DEFINED DOXYGEN_LATEX_BIB_STYLE)
1313  set(DOXYGEN_LATEX_BIB_STYLE plain)
1314 endif()
1315 if(NOT DEFINED DOXYGEN_LATEX_TIMESTAMP)
1316  set(DOXYGEN_LATEX_TIMESTAMP NO)
1317 endif()
1318 if(NOT DEFINED DOXYGEN_GENERATE_RTF)
1319  set(DOXYGEN_GENERATE_RTF NO)
1320 endif()
1321 if(NOT DEFINED DOXYGEN_RTF_OUTPUT)
1322  set(DOXYGEN_RTF_OUTPUT rtf)
1323 endif()
1324 if(NOT DEFINED DOXYGEN_COMPACT_RTF)
1325  set(DOXYGEN_COMPACT_RTF NO)
1326 endif()
1327 if(NOT DEFINED DOXYGEN_RTF_HYPERLINKS)
1328  set(DOXYGEN_RTF_HYPERLINKS NO)
1329 endif()
1330 if(NOT DEFINED DOXYGEN_RTF_SOURCE_CODE)
1331  set(DOXYGEN_RTF_SOURCE_CODE NO)
1332 endif()
1333 if(NOT DEFINED DOXYGEN_GENERATE_MAN)
1334  set(DOXYGEN_GENERATE_MAN NO)
1335 endif()
1336 if(NOT DEFINED DOXYGEN_MAN_OUTPUT)
1337  set(DOXYGEN_MAN_OUTPUT man)
1338 endif()
1339 if(NOT DEFINED DOXYGEN_MAN_EXTENSION)
1340  set(DOXYGEN_MAN_EXTENSION .3)
1341 endif()
1342 if(NOT DEFINED DOXYGEN_MAN_LINKS)
1343  set(DOXYGEN_MAN_LINKS NO)
1344 endif()
1345 if(NOT DEFINED DOXYGEN_GENERATE_XML)
1346  set(DOXYGEN_GENERATE_XML NO)
1347 endif()
1348 if(NOT DEFINED DOXYGEN_XML_OUTPUT)
1349  set(DOXYGEN_XML_OUTPUT xml)
1350 endif()
1351 if(NOT DEFINED DOXYGEN_XML_PROGRAMLISTING)
1352  set(DOXYGEN_XML_PROGRAMLISTING YES)
1353 endif()
1354 if(NOT DEFINED DOXYGEN_XML_NS_MEMB_FILE_SCOPE)
1355  set(DOXYGEN_XML_NS_MEMB_FILE_SCOPE NO)
1356 endif()
1357 if(NOT DEFINED DOXYGEN_GENERATE_DOCBOOK)
1358  set(DOXYGEN_GENERATE_DOCBOOK NO)
1359 endif()
1360 if(NOT DEFINED DOXYGEN_DOCBOOK_OUTPUT)
1361  set(DOXYGEN_DOCBOOK_OUTPUT docbook)
1362 endif()
1363 if(NOT DEFINED DOXYGEN_DOCBOOK_PROGRAMLISTING)
1364  set(DOXYGEN_DOCBOOK_PROGRAMLISTING NO)
1365 endif()
1366 if(NOT DEFINED DOXYGEN_GENERATE_AUTOGEN_DEF)
1367  set(DOXYGEN_GENERATE_AUTOGEN_DEF NO)
1368 endif()
1369 if(NOT DEFINED DOXYGEN_GENERATE_PERLMOD)
1370  set(DOXYGEN_GENERATE_PERLMOD NO)
1371 endif()
1372 if(NOT DEFINED DOXYGEN_PERLMOD_LATEX)
1373  set(DOXYGEN_PERLMOD_LATEX NO)
1374 endif()
1375 if(NOT DEFINED DOXYGEN_PERLMOD_PRETTY)
1376  set(DOXYGEN_PERLMOD_PRETTY YES)
1377 endif()
1378 if(NOT DEFINED DOXYGEN_ENABLE_PREPROCESSING)
1379  set(DOXYGEN_ENABLE_PREPROCESSING YES)
1380 endif()
1381 if(NOT DEFINED DOXYGEN_MACRO_EXPANSION)
1382  set(DOXYGEN_MACRO_EXPANSION NO)
1383 endif()
1384 if(NOT DEFINED DOXYGEN_EXPAND_ONLY_PREDEF)
1385  set(DOXYGEN_EXPAND_ONLY_PREDEF NO)
1386 endif()
1387 if(NOT DEFINED DOXYGEN_SEARCH_INCLUDES)
1388  set(DOXYGEN_SEARCH_INCLUDES YES)
1389 endif()
1390 if(NOT DEFINED DOXYGEN_SKIP_FUNCTION_MACROS)
1391  set(DOXYGEN_SKIP_FUNCTION_MACROS YES)
1392 endif()
1393 if(NOT DEFINED DOXYGEN_ALLEXTERNALS)
1394  set(DOXYGEN_ALLEXTERNALS NO)
1395 endif()
1396 if(NOT DEFINED DOXYGEN_EXTERNAL_GROUPS)
1397  set(DOXYGEN_EXTERNAL_GROUPS YES)
1398 endif()
1399 if(NOT DEFINED DOXYGEN_EXTERNAL_PAGES)
1400  set(DOXYGEN_EXTERNAL_PAGES YES)
1401 endif()
1402 if(NOT DEFINED DOXYGEN_CLASS_DIAGRAMS)
1403  set(DOXYGEN_CLASS_DIAGRAMS YES)
1404 endif()
1405 if(NOT DEFINED DOXYGEN_HIDE_UNDOC_RELATIONS)
1406  set(DOXYGEN_HIDE_UNDOC_RELATIONS YES)
1407 endif()
1408 if(NOT DEFINED DOXYGEN_HAVE_DOT)
1409  set(DOXYGEN_HAVE_DOT YES)
1410 endif()
1411 if(NOT DEFINED DOXYGEN_DOT_NUM_THREADS)
1412  set(DOXYGEN_DOT_NUM_THREADS 0)
1413 endif()
1414 if(NOT DEFINED DOXYGEN_DOT_FONTNAME)
1415  set(DOXYGEN_DOT_FONTNAME Helvetica)
1416 endif()
1417 if(NOT DEFINED DOXYGEN_DOT_FONTSIZE)
1418  set(DOXYGEN_DOT_FONTSIZE 10)
1419 endif()
1420 if(NOT DEFINED DOXYGEN_CLASS_GRAPH)
1421  set(DOXYGEN_CLASS_GRAPH YES)
1422 endif()
1423 if(NOT DEFINED DOXYGEN_COLLABORATION_GRAPH)
1424  set(DOXYGEN_COLLABORATION_GRAPH YES)
1425 endif()
1426 if(NOT DEFINED DOXYGEN_GROUP_GRAPHS)
1427  set(DOXYGEN_GROUP_GRAPHS YES)
1428 endif()
1429 if(NOT DEFINED DOXYGEN_UML_LOOK)
1430  set(DOXYGEN_UML_LOOK NO)
1431 endif()
1432 if(NOT DEFINED DOXYGEN_UML_LIMIT_NUM_FIELDS)
1433  set(DOXYGEN_UML_LIMIT_NUM_FIELDS 10)
1434 endif()
1435 if(NOT DEFINED DOXYGEN_DOT_UML_DETAILS)
1436  set(DOXYGEN_DOT_UML_DETAILS NO)
1437 endif()
1438 if(NOT DEFINED DOXYGEN_DOT_WRAP_THRESHOLD)
1439  set(DOXYGEN_DOT_WRAP_THRESHOLD 17)
1440 endif()
1441 if(NOT DEFINED DOXYGEN_TEMPLATE_RELATIONS)
1442  set(DOXYGEN_TEMPLATE_RELATIONS NO)
1443 endif()
1444 if(NOT DEFINED DOXYGEN_INCLUDE_GRAPH)
1445  set(DOXYGEN_INCLUDE_GRAPH YES)
1446 endif()
1447 if(NOT DEFINED DOXYGEN_INCLUDED_BY_GRAPH)
1448  set(DOXYGEN_INCLUDED_BY_GRAPH YES)
1449 endif()
1450 if(NOT DEFINED DOXYGEN_CALL_GRAPH)
1451  set(DOXYGEN_CALL_GRAPH NO)
1452 endif()
1453 if(NOT DEFINED DOXYGEN_CALLER_GRAPH)
1454  set(DOXYGEN_CALLER_GRAPH NO)
1455 endif()
1456 if(NOT DEFINED DOXYGEN_GRAPHICAL_HIERARCHY)
1457  set(DOXYGEN_GRAPHICAL_HIERARCHY YES)
1458 endif()
1459 if(NOT DEFINED DOXYGEN_DIRECTORY_GRAPH)
1460  set(DOXYGEN_DIRECTORY_GRAPH YES)
1461 endif()
1462 if(NOT DEFINED DOXYGEN_DOT_IMAGE_FORMAT)
1463  set(DOXYGEN_DOT_IMAGE_FORMAT png)
1464 endif()
1465 if(NOT DEFINED DOXYGEN_INTERACTIVE_SVG)
1466  set(DOXYGEN_INTERACTIVE_SVG NO)
1467 endif()
1468 if(NOT DEFINED DOXYGEN_DOT_GRAPH_MAX_NODES)
1469  set(DOXYGEN_DOT_GRAPH_MAX_NODES 50)
1470 endif()
1471 if(NOT DEFINED DOXYGEN_MAX_DOT_GRAPH_DEPTH)
1472  set(DOXYGEN_MAX_DOT_GRAPH_DEPTH 0)
1473 endif()
1474 if(NOT DEFINED DOXYGEN_DOT_TRANSPARENT)
1475  set(DOXYGEN_DOT_TRANSPARENT NO)
1476 endif()
1477 if(NOT DEFINED DOXYGEN_DOT_MULTI_TARGETS)
1478  set(DOXYGEN_DOT_MULTI_TARGETS NO)
1479 endif()
1480 if(NOT DEFINED DOXYGEN_GENERATE_LEGEND)
1481  set(DOXYGEN_GENERATE_LEGEND YES)
1482 endif()
1483 if(NOT DEFINED DOXYGEN_DOT_CLEANUP)
1484  set(DOXYGEN_DOT_CLEANUP YES)
1485 endif()
1486 )VAR");
1487  print(0, "", "_doxyfile_in", R"VAR(/builds/ths/smt/smtrat/build/CMakeDoxyfile.in)VAR");
1488  print(0, "", "_doxyfile_in_contents", R"VAR(DOXYFILE_ENCODING = @DOXYGEN_DOXYFILE_ENCODING@
1489 PROJECT_NAME = @DOXYGEN_PROJECT_NAME@
1490 PROJECT_NUMBER = @DOXYGEN_PROJECT_NUMBER@
1491 PROJECT_BRIEF = @DOXYGEN_PROJECT_BRIEF@
1492 PROJECT_LOGO = @DOXYGEN_PROJECT_LOGO@
1493 OUTPUT_DIRECTORY = @DOXYGEN_OUTPUT_DIRECTORY@
1494 CREATE_SUBDIRS = @DOXYGEN_CREATE_SUBDIRS@
1495 ALLOW_UNICODE_NAMES = @DOXYGEN_ALLOW_UNICODE_NAMES@
1496 OUTPUT_LANGUAGE = @DOXYGEN_OUTPUT_LANGUAGE@
1497 OUTPUT_TEXT_DIRECTION = @DOXYGEN_OUTPUT_TEXT_DIRECTION@
1498 BRIEF_MEMBER_DESC = @DOXYGEN_BRIEF_MEMBER_DESC@
1499 REPEAT_BRIEF = @DOXYGEN_REPEAT_BRIEF@
1500 ABBREVIATE_BRIEF = @DOXYGEN_ABBREVIATE_BRIEF@
1501 ALWAYS_DETAILED_SEC = @DOXYGEN_ALWAYS_DETAILED_SEC@
1502 INLINE_INHERITED_MEMB = @DOXYGEN_INLINE_INHERITED_MEMB@
1503 FULL_PATH_NAMES = @DOXYGEN_FULL_PATH_NAMES@
1504 STRIP_FROM_PATH = @DOXYGEN_STRIP_FROM_PATH@
1505 STRIP_FROM_INC_PATH = @DOXYGEN_STRIP_FROM_INC_PATH@
1506 SHORT_NAMES = @DOXYGEN_SHORT_NAMES@
1507 JAVADOC_AUTOBRIEF = @DOXYGEN_JAVADOC_AUTOBRIEF@
1508 JAVADOC_BANNER = @DOXYGEN_JAVADOC_BANNER@
1509 QT_AUTOBRIEF = @DOXYGEN_QT_AUTOBRIEF@
1510 MULTILINE_CPP_IS_BRIEF = @DOXYGEN_MULTILINE_CPP_IS_BRIEF@
1511 PYTHON_DOCSTRING = @DOXYGEN_PYTHON_DOCSTRING@
1512 INHERIT_DOCS = @DOXYGEN_INHERIT_DOCS@
1513 SEPARATE_MEMBER_PAGES = @DOXYGEN_SEPARATE_MEMBER_PAGES@
1514 TAB_SIZE = @DOXYGEN_TAB_SIZE@
1515 ALIASES = @DOXYGEN_ALIASES@
1516 OPTIMIZE_OUTPUT_FOR_C = @DOXYGEN_OPTIMIZE_OUTPUT_FOR_C@
1517 OPTIMIZE_OUTPUT_JAVA = @DOXYGEN_OPTIMIZE_OUTPUT_JAVA@
1518 OPTIMIZE_FOR_FORTRAN = @DOXYGEN_OPTIMIZE_FOR_FORTRAN@
1519 OPTIMIZE_OUTPUT_VHDL = @DOXYGEN_OPTIMIZE_OUTPUT_VHDL@
1520 OPTIMIZE_OUTPUT_SLICE = @DOXYGEN_OPTIMIZE_OUTPUT_SLICE@
1521 EXTENSION_MAPPING = @DOXYGEN_EXTENSION_MAPPING@
1522 MARKDOWN_SUPPORT = @DOXYGEN_MARKDOWN_SUPPORT@
1523 TOC_INCLUDE_HEADINGS = @DOXYGEN_TOC_INCLUDE_HEADINGS@
1524 AUTOLINK_SUPPORT = @DOXYGEN_AUTOLINK_SUPPORT@
1525 BUILTIN_STL_SUPPORT = @DOXYGEN_BUILTIN_STL_SUPPORT@
1526 CPP_CLI_SUPPORT = @DOXYGEN_CPP_CLI_SUPPORT@
1527 SIP_SUPPORT = @DOXYGEN_SIP_SUPPORT@
1528 IDL_PROPERTY_SUPPORT = @DOXYGEN_IDL_PROPERTY_SUPPORT@
1529 DISTRIBUTE_GROUP_DOC = @DOXYGEN_DISTRIBUTE_GROUP_DOC@
1530 GROUP_NESTED_COMPOUNDS = @DOXYGEN_GROUP_NESTED_COMPOUNDS@
1531 SUBGROUPING = @DOXYGEN_SUBGROUPING@
1532 INLINE_GROUPED_CLASSES = @DOXYGEN_INLINE_GROUPED_CLASSES@
1533 INLINE_SIMPLE_STRUCTS = @DOXYGEN_INLINE_SIMPLE_STRUCTS@
1534 TYPEDEF_HIDES_STRUCT = @DOXYGEN_TYPEDEF_HIDES_STRUCT@
1535 LOOKUP_CACHE_SIZE = @DOXYGEN_LOOKUP_CACHE_SIZE@
1536 NUM_PROC_THREADS = @DOXYGEN_NUM_PROC_THREADS@
1537 EXTRACT_ALL = @DOXYGEN_EXTRACT_ALL@
1538 EXTRACT_PRIVATE = @DOXYGEN_EXTRACT_PRIVATE@
1539 EXTRACT_PRIV_VIRTUAL = @DOXYGEN_EXTRACT_PRIV_VIRTUAL@
1540 EXTRACT_PACKAGE = @DOXYGEN_EXTRACT_PACKAGE@
1541 EXTRACT_STATIC = @DOXYGEN_EXTRACT_STATIC@
1542 EXTRACT_LOCAL_CLASSES = @DOXYGEN_EXTRACT_LOCAL_CLASSES@
1543 EXTRACT_LOCAL_METHODS = @DOXYGEN_EXTRACT_LOCAL_METHODS@
1544 EXTRACT_ANON_NSPACES = @DOXYGEN_EXTRACT_ANON_NSPACES@
1545 RESOLVE_UNNAMED_PARAMS = @DOXYGEN_RESOLVE_UNNAMED_PARAMS@
1546 HIDE_UNDOC_MEMBERS = @DOXYGEN_HIDE_UNDOC_MEMBERS@
1547 HIDE_UNDOC_CLASSES = @DOXYGEN_HIDE_UNDOC_CLASSES@
1548 HIDE_FRIEND_COMPOUNDS = @DOXYGEN_HIDE_FRIEND_COMPOUNDS@
1549 HIDE_IN_BODY_DOCS = @DOXYGEN_HIDE_IN_BODY_DOCS@
1550 INTERNAL_DOCS = @DOXYGEN_INTERNAL_DOCS@
1551 CASE_SENSE_NAMES = @DOXYGEN_CASE_SENSE_NAMES@
1552 HIDE_SCOPE_NAMES = @DOXYGEN_HIDE_SCOPE_NAMES@
1553 HIDE_COMPOUND_REFERENCE= @DOXYGEN_HIDE_COMPOUND_REFERENCE@
1554 SHOW_INCLUDE_FILES = @DOXYGEN_SHOW_INCLUDE_FILES@
1555 SHOW_GROUPED_MEMB_INC = @DOXYGEN_SHOW_GROUPED_MEMB_INC@
1556 FORCE_LOCAL_INCLUDES = @DOXYGEN_FORCE_LOCAL_INCLUDES@
1557 INLINE_INFO = @DOXYGEN_INLINE_INFO@
1558 SORT_MEMBER_DOCS = @DOXYGEN_SORT_MEMBER_DOCS@
1559 SORT_BRIEF_DOCS = @DOXYGEN_SORT_BRIEF_DOCS@
1560 SORT_MEMBERS_CTORS_1ST = @DOXYGEN_SORT_MEMBERS_CTORS_1ST@
1561 SORT_GROUP_NAMES = @DOXYGEN_SORT_GROUP_NAMES@
1562 SORT_BY_SCOPE_NAME = @DOXYGEN_SORT_BY_SCOPE_NAME@
1563 STRICT_PROTO_MATCHING = @DOXYGEN_STRICT_PROTO_MATCHING@
1564 GENERATE_TODOLIST = @DOXYGEN_GENERATE_TODOLIST@
1565 GENERATE_TESTLIST = @DOXYGEN_GENERATE_TESTLIST@
1566 GENERATE_BUGLIST = @DOXYGEN_GENERATE_BUGLIST@
1567 GENERATE_DEPRECATEDLIST= @DOXYGEN_GENERATE_DEPRECATEDLIST@
1568 ENABLED_SECTIONS = @DOXYGEN_ENABLED_SECTIONS@
1569 MAX_INITIALIZER_LINES = @DOXYGEN_MAX_INITIALIZER_LINES@
1570 SHOW_USED_FILES = @DOXYGEN_SHOW_USED_FILES@
1571 SHOW_FILES = @DOXYGEN_SHOW_FILES@
1572 SHOW_NAMESPACES = @DOXYGEN_SHOW_NAMESPACES@
1573 FILE_VERSION_FILTER = @DOXYGEN_FILE_VERSION_FILTER@
1574 LAYOUT_FILE = @DOXYGEN_LAYOUT_FILE@
1575 CITE_BIB_FILES = @DOXYGEN_CITE_BIB_FILES@
1576 QUIET = @DOXYGEN_QUIET@
1577 WARNINGS = @DOXYGEN_WARNINGS@
1578 WARN_IF_UNDOCUMENTED = @DOXYGEN_WARN_IF_UNDOCUMENTED@
1579 WARN_IF_DOC_ERROR = @DOXYGEN_WARN_IF_DOC_ERROR@
1580 WARN_NO_PARAMDOC = @DOXYGEN_WARN_NO_PARAMDOC@
1581 WARN_AS_ERROR = @DOXYGEN_WARN_AS_ERROR@
1582 WARN_FORMAT = @DOXYGEN_WARN_FORMAT@
1583 WARN_LOGFILE = @DOXYGEN_WARN_LOGFILE@
1584 INPUT = @DOXYGEN_INPUT@
1585 INPUT_ENCODING = @DOXYGEN_INPUT_ENCODING@
1586 FILE_PATTERNS = @DOXYGEN_FILE_PATTERNS@
1587 RECURSIVE = @DOXYGEN_RECURSIVE@
1588 EXCLUDE = @DOXYGEN_EXCLUDE@
1589 EXCLUDE_SYMLINKS = @DOXYGEN_EXCLUDE_SYMLINKS@
1590 EXCLUDE_PATTERNS = @DOXYGEN_EXCLUDE_PATTERNS@
1591 EXCLUDE_SYMBOLS = @DOXYGEN_EXCLUDE_SYMBOLS@
1592 EXAMPLE_PATH = @DOXYGEN_EXAMPLE_PATH@
1593 EXAMPLE_PATTERNS = @DOXYGEN_EXAMPLE_PATTERNS@
1594 EXAMPLE_RECURSIVE = @DOXYGEN_EXAMPLE_RECURSIVE@
1595 IMAGE_PATH = @DOXYGEN_IMAGE_PATH@
1596 INPUT_FILTER = @DOXYGEN_INPUT_FILTER@
1597 FILTER_PATTERNS = @DOXYGEN_FILTER_PATTERNS@
1598 FILTER_SOURCE_FILES = @DOXYGEN_FILTER_SOURCE_FILES@
1599 FILTER_SOURCE_PATTERNS = @DOXYGEN_FILTER_SOURCE_PATTERNS@
1600 USE_MDFILE_AS_MAINPAGE = @DOXYGEN_USE_MDFILE_AS_MAINPAGE@
1601 SOURCE_BROWSER = @DOXYGEN_SOURCE_BROWSER@
1602 INLINE_SOURCES = @DOXYGEN_INLINE_SOURCES@
1603 STRIP_CODE_COMMENTS = @DOXYGEN_STRIP_CODE_COMMENTS@
1604 REFERENCED_BY_RELATION = @DOXYGEN_REFERENCED_BY_RELATION@
1605 REFERENCES_RELATION = @DOXYGEN_REFERENCES_RELATION@
1606 REFERENCES_LINK_SOURCE = @DOXYGEN_REFERENCES_LINK_SOURCE@
1607 SOURCE_TOOLTIPS = @DOXYGEN_SOURCE_TOOLTIPS@
1608 USE_HTAGS = @DOXYGEN_USE_HTAGS@
1609 VERBATIM_HEADERS = @DOXYGEN_VERBATIM_HEADERS@
1610 CLANG_ASSISTED_PARSING = @DOXYGEN_CLANG_ASSISTED_PARSING@
1611 CLANG_ADD_INC_PATHS = @DOXYGEN_CLANG_ADD_INC_PATHS@
1612 CLANG_OPTIONS = @DOXYGEN_CLANG_OPTIONS@
1613 CLANG_DATABASE_PATH = @DOXYGEN_CLANG_DATABASE_PATH@
1614 ALPHABETICAL_INDEX = @DOXYGEN_ALPHABETICAL_INDEX@
1615 IGNORE_PREFIX = @DOXYGEN_IGNORE_PREFIX@
1616 GENERATE_HTML = @DOXYGEN_GENERATE_HTML@
1617 HTML_OUTPUT = @DOXYGEN_HTML_OUTPUT@
1618 HTML_FILE_EXTENSION = @DOXYGEN_HTML_FILE_EXTENSION@
1619 HTML_HEADER = @DOXYGEN_HTML_HEADER@
1620 HTML_FOOTER = @DOXYGEN_HTML_FOOTER@
1621 HTML_STYLESHEET = @DOXYGEN_HTML_STYLESHEET@
1622 HTML_EXTRA_STYLESHEET = @DOXYGEN_HTML_EXTRA_STYLESHEET@
1623 HTML_EXTRA_FILES = @DOXYGEN_HTML_EXTRA_FILES@
1624 HTML_COLORSTYLE_HUE = @DOXYGEN_HTML_COLORSTYLE_HUE@
1625 HTML_COLORSTYLE_SAT = @DOXYGEN_HTML_COLORSTYLE_SAT@
1626 HTML_COLORSTYLE_GAMMA = @DOXYGEN_HTML_COLORSTYLE_GAMMA@
1627 HTML_TIMESTAMP = @DOXYGEN_HTML_TIMESTAMP@
1628 HTML_DYNAMIC_MENUS = @DOXYGEN_HTML_DYNAMIC_MENUS@
1629 HTML_DYNAMIC_SECTIONS = @DOXYGEN_HTML_DYNAMIC_SECTIONS@
1630 HTML_INDEX_NUM_ENTRIES = @DOXYGEN_HTML_INDEX_NUM_ENTRIES@
1631 GENERATE_DOCSET = @DOXYGEN_GENERATE_DOCSET@
1632 DOCSET_FEEDNAME = @DOXYGEN_DOCSET_FEEDNAME@
1633 DOCSET_BUNDLE_ID = @DOXYGEN_DOCSET_BUNDLE_ID@
1634 DOCSET_PUBLISHER_ID = @DOXYGEN_DOCSET_PUBLISHER_ID@
1635 DOCSET_PUBLISHER_NAME = @DOXYGEN_DOCSET_PUBLISHER_NAME@
1636 GENERATE_HTMLHELP = @DOXYGEN_GENERATE_HTMLHELP@
1637 CHM_FILE = @DOXYGEN_CHM_FILE@
1638 HHC_LOCATION = @DOXYGEN_HHC_LOCATION@
1639 GENERATE_CHI = @DOXYGEN_GENERATE_CHI@
1640 CHM_INDEX_ENCODING = @DOXYGEN_CHM_INDEX_ENCODING@
1641 BINARY_TOC = @DOXYGEN_BINARY_TOC@
1642 TOC_EXPAND = @DOXYGEN_TOC_EXPAND@
1643 GENERATE_QHP = @DOXYGEN_GENERATE_QHP@
1644 QCH_FILE = @DOXYGEN_QCH_FILE@
1645 QHP_NAMESPACE = @DOXYGEN_QHP_NAMESPACE@
1646 QHP_VIRTUAL_FOLDER = @DOXYGEN_QHP_VIRTUAL_FOLDER@
1647 QHP_CUST_FILTER_NAME = @DOXYGEN_QHP_CUST_FILTER_NAME@
1648 QHP_CUST_FILTER_ATTRS = @DOXYGEN_QHP_CUST_FILTER_ATTRS@
1649 QHP_SECT_FILTER_ATTRS = @DOXYGEN_QHP_SECT_FILTER_ATTRS@
1650 QHG_LOCATION = @DOXYGEN_QHG_LOCATION@
1651 GENERATE_ECLIPSEHELP = @DOXYGEN_GENERATE_ECLIPSEHELP@
1652 ECLIPSE_DOC_ID = @DOXYGEN_ECLIPSE_DOC_ID@
1653 DISABLE_INDEX = @DOXYGEN_DISABLE_INDEX@
1654 GENERATE_TREEVIEW = @DOXYGEN_GENERATE_TREEVIEW@
1655 ENUM_VALUES_PER_LINE = @DOXYGEN_ENUM_VALUES_PER_LINE@
1656 TREEVIEW_WIDTH = @DOXYGEN_TREEVIEW_WIDTH@
1657 EXT_LINKS_IN_WINDOW = @DOXYGEN_EXT_LINKS_IN_WINDOW@
1658 HTML_FORMULA_FORMAT = @DOXYGEN_HTML_FORMULA_FORMAT@
1659 FORMULA_FONTSIZE = @DOXYGEN_FORMULA_FONTSIZE@
1660 FORMULA_TRANSPARENT = @DOXYGEN_FORMULA_TRANSPARENT@
1661 FORMULA_MACROFILE = @DOXYGEN_FORMULA_MACROFILE@
1662 USE_MATHJAX = @DOXYGEN_USE_MATHJAX@
1663 MATHJAX_FORMAT = @DOXYGEN_MATHJAX_FORMAT@
1664 MATHJAX_RELPATH = @DOXYGEN_MATHJAX_RELPATH@
1665 MATHJAX_EXTENSIONS = @DOXYGEN_MATHJAX_EXTENSIONS@
1666 MATHJAX_CODEFILE = @DOXYGEN_MATHJAX_CODEFILE@
1667 SEARCHENGINE = @DOXYGEN_SEARCHENGINE@
1668 SERVER_BASED_SEARCH = @DOXYGEN_SERVER_BASED_SEARCH@
1669 EXTERNAL_SEARCH = @DOXYGEN_EXTERNAL_SEARCH@
1670 SEARCHENGINE_URL = @DOXYGEN_SEARCHENGINE_URL@
1671 SEARCHDATA_FILE = @DOXYGEN_SEARCHDATA_FILE@
1672 EXTERNAL_SEARCH_ID = @DOXYGEN_EXTERNAL_SEARCH_ID@
1673 EXTRA_SEARCH_MAPPINGS = @DOXYGEN_EXTRA_SEARCH_MAPPINGS@
1674 GENERATE_LATEX = @DOXYGEN_GENERATE_LATEX@
1675 LATEX_OUTPUT = @DOXYGEN_LATEX_OUTPUT@
1676 LATEX_CMD_NAME = @DOXYGEN_LATEX_CMD_NAME@
1677 MAKEINDEX_CMD_NAME = @DOXYGEN_MAKEINDEX_CMD_NAME@
1678 LATEX_MAKEINDEX_CMD = @DOXYGEN_LATEX_MAKEINDEX_CMD@
1679 COMPACT_LATEX = @DOXYGEN_COMPACT_LATEX@
1680 PAPER_TYPE = @DOXYGEN_PAPER_TYPE@
1681 EXTRA_PACKAGES = @DOXYGEN_EXTRA_PACKAGES@
1682 LATEX_HEADER = @DOXYGEN_LATEX_HEADER@
1683 LATEX_FOOTER = @DOXYGEN_LATEX_FOOTER@
1684 LATEX_EXTRA_STYLESHEET = @DOXYGEN_LATEX_EXTRA_STYLESHEET@
1685 LATEX_EXTRA_FILES = @DOXYGEN_LATEX_EXTRA_FILES@
1686 PDF_HYPERLINKS = @DOXYGEN_PDF_HYPERLINKS@
1687 USE_PDFLATEX = @DOXYGEN_USE_PDFLATEX@
1688 LATEX_BATCHMODE = @DOXYGEN_LATEX_BATCHMODE@
1689 LATEX_HIDE_INDICES = @DOXYGEN_LATEX_HIDE_INDICES@
1690 LATEX_SOURCE_CODE = @DOXYGEN_LATEX_SOURCE_CODE@
1691 LATEX_BIB_STYLE = @DOXYGEN_LATEX_BIB_STYLE@
1692 LATEX_TIMESTAMP = @DOXYGEN_LATEX_TIMESTAMP@
1693 LATEX_EMOJI_DIRECTORY = @DOXYGEN_LATEX_EMOJI_DIRECTORY@
1694 GENERATE_RTF = @DOXYGEN_GENERATE_RTF@
1695 RTF_OUTPUT = @DOXYGEN_RTF_OUTPUT@
1696 COMPACT_RTF = @DOXYGEN_COMPACT_RTF@
1697 RTF_HYPERLINKS = @DOXYGEN_RTF_HYPERLINKS@
1698 RTF_STYLESHEET_FILE = @DOXYGEN_RTF_STYLESHEET_FILE@
1699 RTF_EXTENSIONS_FILE = @DOXYGEN_RTF_EXTENSIONS_FILE@
1700 RTF_SOURCE_CODE = @DOXYGEN_RTF_SOURCE_CODE@
1701 GENERATE_MAN = @DOXYGEN_GENERATE_MAN@
1702 MAN_OUTPUT = @DOXYGEN_MAN_OUTPUT@
1703 MAN_EXTENSION = @DOXYGEN_MAN_EXTENSION@
1704 MAN_SUBDIR = @DOXYGEN_MAN_SUBDIR@
1705 MAN_LINKS = @DOXYGEN_MAN_LINKS@
1706 GENERATE_XML = @DOXYGEN_GENERATE_XML@
1707 XML_OUTPUT = @DOXYGEN_XML_OUTPUT@
1708 XML_PROGRAMLISTING = @DOXYGEN_XML_PROGRAMLISTING@
1709 XML_NS_MEMB_FILE_SCOPE = @DOXYGEN_XML_NS_MEMB_FILE_SCOPE@
1710 GENERATE_DOCBOOK = @DOXYGEN_GENERATE_DOCBOOK@
1711 DOCBOOK_OUTPUT = @DOXYGEN_DOCBOOK_OUTPUT@
1712 DOCBOOK_PROGRAMLISTING = @DOXYGEN_DOCBOOK_PROGRAMLISTING@
1713 GENERATE_AUTOGEN_DEF = @DOXYGEN_GENERATE_AUTOGEN_DEF@
1714 GENERATE_PERLMOD = @DOXYGEN_GENERATE_PERLMOD@
1715 PERLMOD_LATEX = @DOXYGEN_PERLMOD_LATEX@
1716 PERLMOD_PRETTY = @DOXYGEN_PERLMOD_PRETTY@
1717 PERLMOD_MAKEVAR_PREFIX = @DOXYGEN_PERLMOD_MAKEVAR_PREFIX@
1718 ENABLE_PREPROCESSING = @DOXYGEN_ENABLE_PREPROCESSING@
1719 MACRO_EXPANSION = @DOXYGEN_MACRO_EXPANSION@
1720 EXPAND_ONLY_PREDEF = @DOXYGEN_EXPAND_ONLY_PREDEF@
1721 SEARCH_INCLUDES = @DOXYGEN_SEARCH_INCLUDES@
1722 INCLUDE_PATH = @DOXYGEN_INCLUDE_PATH@
1723 INCLUDE_FILE_PATTERNS = @DOXYGEN_INCLUDE_FILE_PATTERNS@
1724 PREDEFINED = @DOXYGEN_PREDEFINED@
1725 EXPAND_AS_DEFINED = @DOXYGEN_EXPAND_AS_DEFINED@
1726 SKIP_FUNCTION_MACROS = @DOXYGEN_SKIP_FUNCTION_MACROS@
1727 TAGFILES = @DOXYGEN_TAGFILES@
1728 GENERATE_TAGFILE = @DOXYGEN_GENERATE_TAGFILE@
1729 ALLEXTERNALS = @DOXYGEN_ALLEXTERNALS@
1730 EXTERNAL_GROUPS = @DOXYGEN_EXTERNAL_GROUPS@
1731 EXTERNAL_PAGES = @DOXYGEN_EXTERNAL_PAGES@
1732 CLASS_DIAGRAMS = @DOXYGEN_CLASS_DIAGRAMS@
1733 DIA_PATH = @DOXYGEN_DIA_PATH@
1734 HIDE_UNDOC_RELATIONS = @DOXYGEN_HIDE_UNDOC_RELATIONS@
1735 HAVE_DOT = @DOXYGEN_HAVE_DOT@
1736 DOT_NUM_THREADS = @DOXYGEN_DOT_NUM_THREADS@
1737 DOT_FONTNAME = @DOXYGEN_DOT_FONTNAME@
1738 DOT_FONTSIZE = @DOXYGEN_DOT_FONTSIZE@
1739 DOT_FONTPATH = @DOXYGEN_DOT_FONTPATH@
1740 CLASS_GRAPH = @DOXYGEN_CLASS_GRAPH@
1741 COLLABORATION_GRAPH = @DOXYGEN_COLLABORATION_GRAPH@
1742 GROUP_GRAPHS = @DOXYGEN_GROUP_GRAPHS@
1743 UML_LOOK = @DOXYGEN_UML_LOOK@
1744 UML_LIMIT_NUM_FIELDS = @DOXYGEN_UML_LIMIT_NUM_FIELDS@
1745 DOT_UML_DETAILS = @DOXYGEN_DOT_UML_DETAILS@
1746 DOT_WRAP_THRESHOLD = @DOXYGEN_DOT_WRAP_THRESHOLD@
1747 TEMPLATE_RELATIONS = @DOXYGEN_TEMPLATE_RELATIONS@
1748 INCLUDE_GRAPH = @DOXYGEN_INCLUDE_GRAPH@
1749 INCLUDED_BY_GRAPH = @DOXYGEN_INCLUDED_BY_GRAPH@
1750 CALL_GRAPH = @DOXYGEN_CALL_GRAPH@
1751 CALLER_GRAPH = @DOXYGEN_CALLER_GRAPH@
1752 GRAPHICAL_HIERARCHY = @DOXYGEN_GRAPHICAL_HIERARCHY@
1753 DIRECTORY_GRAPH = @DOXYGEN_DIRECTORY_GRAPH@
1754 DOT_IMAGE_FORMAT = @DOXYGEN_DOT_IMAGE_FORMAT@
1755 INTERACTIVE_SVG = @DOXYGEN_INTERACTIVE_SVG@
1756 DOT_PATH = @DOXYGEN_DOT_PATH@
1757 DOTFILE_DIRS = @DOXYGEN_DOTFILE_DIRS@
1758 MSCFILE_DIRS = @DOXYGEN_MSCFILE_DIRS@
1759 DIAFILE_DIRS = @DOXYGEN_DIAFILE_DIRS@
1760 PLANTUML_JAR_PATH = @DOXYGEN_PLANTUML_JAR_PATH@
1761 PLANTUML_CFG_FILE = @DOXYGEN_PLANTUML_CFG_FILE@
1762 PLANTUML_INCLUDE_PATH = @DOXYGEN_PLANTUML_INCLUDE_PATH@
1763 DOT_GRAPH_MAX_NODES = @DOXYGEN_DOT_GRAPH_MAX_NODES@
1764 MAX_DOT_GRAPH_DEPTH = @DOXYGEN_MAX_DOT_GRAPH_DEPTH@
1765 DOT_TRANSPARENT = @DOXYGEN_DOT_TRANSPARENT@
1766 DOT_MULTI_TARGETS = @DOXYGEN_DOT_MULTI_TARGETS@
1767 GENERATE_LEGEND = @DOXYGEN_GENERATE_LEGEND@
1768 DOT_CLEANUP = @DOXYGEN_DOT_CLEANUP@
1769 )VAR");
1770  print(0, "", "_eql", R"VAR( =)VAR");
1771  print(0, "", "_expectedTarget", R"VAR()VAR");
1772  print(0, "", "_file_lines", R"VAR(# Doxyfile 1.9.1;;#---------------------------------------------------------------------------;# Project related configuration options;#---------------------------------------------------------------------------;DOXYFILE_ENCODING = UTF-8;PROJECT_NAME = "My Project";PROJECT_NUMBER =;PROJECT_BRIEF =;PROJECT_LOGO =;OUTPUT_DIRECTORY =;CREATE_SUBDIRS = NO;ALLOW_UNICODE_NAMES = NO;OUTPUT_LANGUAGE = English;OUTPUT_TEXT_DIRECTION = None;BRIEF_MEMBER_DESC = YES;REPEAT_BRIEF = YES;ABBREVIATE_BRIEF = "The $name class" \; "The $name widget" \; "The $name file" \; is \; provides \; specifies \; contains \; represents \; a \; an \; the;ALWAYS_DETAILED_SEC = NO;INLINE_INHERITED_MEMB = NO;FULL_PATH_NAMES = YES;STRIP_FROM_PATH =;STRIP_FROM_INC_PATH =;SHORT_NAMES = NO;JAVADOC_AUTOBRIEF = NO;JAVADOC_BANNER = NO;QT_AUTOBRIEF = NO;MULTILINE_CPP_IS_BRIEF = NO;PYTHON_DOCSTRING = YES;INHERIT_DOCS = YES;SEPARATE_MEMBER_PAGES = NO;TAB_SIZE = 4;ALIASES =;OPTIMIZE_OUTPUT_FOR_C = NO;OPTIMIZE_OUTPUT_JAVA = NO;OPTIMIZE_FOR_FORTRAN = NO;OPTIMIZE_OUTPUT_VHDL = NO;OPTIMIZE_OUTPUT_SLICE = NO;EXTENSION_MAPPING =;MARKDOWN_SUPPORT = YES;TOC_INCLUDE_HEADINGS = 5;AUTOLINK_SUPPORT = YES;BUILTIN_STL_SUPPORT = NO;CPP_CLI_SUPPORT = NO;SIP_SUPPORT = NO;IDL_PROPERTY_SUPPORT = YES;DISTRIBUTE_GROUP_DOC = NO;GROUP_NESTED_COMPOUNDS = NO;SUBGROUPING = YES;INLINE_GROUPED_CLASSES = NO;INLINE_SIMPLE_STRUCTS = NO;TYPEDEF_HIDES_STRUCT = NO;LOOKUP_CACHE_SIZE = 0;NUM_PROC_THREADS = 1;#---------------------------------------------------------------------------;# Build related configuration options;#---------------------------------------------------------------------------;EXTRACT_ALL = NO;EXTRACT_PRIVATE = NO;EXTRACT_PRIV_VIRTUAL = NO;EXTRACT_PACKAGE = NO;EXTRACT_STATIC = NO;EXTRACT_LOCAL_CLASSES = YES;EXTRACT_LOCAL_METHODS = NO;EXTRACT_ANON_NSPACES = NO;RESOLVE_UNNAMED_PARAMS = YES;HIDE_UNDOC_MEMBERS = NO;HIDE_UNDOC_CLASSES = NO;HIDE_FRIEND_COMPOUNDS = NO;HIDE_IN_BODY_DOCS = NO;INTERNAL_DOCS = NO;CASE_SENSE_NAMES = YES;HIDE_SCOPE_NAMES = NO;HIDE_COMPOUND_REFERENCE= NO;SHOW_INCLUDE_FILES = YES;SHOW_GROUPED_MEMB_INC = NO;FORCE_LOCAL_INCLUDES = NO;INLINE_INFO = YES;SORT_MEMBER_DOCS = YES;SORT_BRIEF_DOCS = NO;SORT_MEMBERS_CTORS_1ST = NO;SORT_GROUP_NAMES = NO;SORT_BY_SCOPE_NAME = NO;STRICT_PROTO_MATCHING = NO;GENERATE_TODOLIST = YES;GENERATE_TESTLIST = YES;GENERATE_BUGLIST = YES;GENERATE_DEPRECATEDLIST= YES;ENABLED_SECTIONS =;MAX_INITIALIZER_LINES = 30;SHOW_USED_FILES = YES;SHOW_FILES = YES;SHOW_NAMESPACES = YES;FILE_VERSION_FILTER =;LAYOUT_FILE =;CITE_BIB_FILES =;#---------------------------------------------------------------------------;# Configuration options related to warning and progress messages;#---------------------------------------------------------------------------;QUIET = NO;WARNINGS = YES;WARN_IF_UNDOCUMENTED = YES;WARN_IF_DOC_ERROR = YES;WARN_NO_PARAMDOC = NO;WARN_AS_ERROR = NO;WARN_FORMAT = "$file:$line: $text";WARN_LOGFILE =;#---------------------------------------------------------------------------;# Configuration options related to the input files;#---------------------------------------------------------------------------;INPUT =;INPUT_ENCODING = UTF-8;FILE_PATTERNS = *.c \; *.cc \; *.cxx \; *.cpp \; *.c++ \; *.java \; *.ii \; *.ixx \; *.ipp \; *.i++ \; *.inl \; *.idl \; *.ddl \; *.odl \; *.h \; *.hh \; *.hxx \; *.hpp \; *.h++ \; *.cs \; *.d \; *.php \; *.php4 \; *.php5 \; *.phtml \; *.inc \; *.m \; *.markdown \; *.md \; *.mm \; *.dox \; *.py \; *.pyw \; *.f90 \; *.f95 \; *.f03 \; *.f08 \; *.f18 \; *.f \; *.for \; *.vhd \; *.vhdl \; *.ucf \; *.qsf \; *.ice;RECURSIVE = NO;EXCLUDE =;EXCLUDE_SYMLINKS = NO;EXCLUDE_PATTERNS =;EXCLUDE_SYMBOLS =;EXAMPLE_PATH =;EXAMPLE_PATTERNS = *;EXAMPLE_RECURSIVE = NO;IMAGE_PATH =;INPUT_FILTER =;FILTER_PATTERNS =;FILTER_SOURCE_FILES = NO;FILTER_SOURCE_PATTERNS =;USE_MDFILE_AS_MAINPAGE =;#---------------------------------------------------------------------------;# Configuration options related to source browsing;#---------------------------------------------------------------------------;SOURCE_BROWSER = NO;INLINE_SOURCES = NO;STRIP_CODE_COMMENTS = YES;REFERENCED_BY_RELATION = NO;REFERENCES_RELATION = NO;REFERENCES_LINK_SOURCE = YES;SOURCE_TOOLTIPS = YES;USE_HTAGS = NO;VERBATIM_HEADERS = YES;CLANG_ASSISTED_PARSING = NO;CLANG_ADD_INC_PATHS = YES;CLANG_OPTIONS =;CLANG_DATABASE_PATH =;#---------------------------------------------------------------------------;# Configuration options related to the alphabetical class index;#---------------------------------------------------------------------------;ALPHABETICAL_INDEX = YES;IGNORE_PREFIX =;#---------------------------------------------------------------------------;# Configuration options related to the HTML output;#---------------------------------------------------------------------------;GENERATE_HTML = YES;HTML_OUTPUT = html;HTML_FILE_EXTENSION = .html;HTML_HEADER =;HTML_FOOTER =;HTML_STYLESHEET =;HTML_EXTRA_STYLESHEET =;HTML_EXTRA_FILES =;HTML_COLORSTYLE_HUE = 220;HTML_COLORSTYLE_SAT = 100;HTML_COLORSTYLE_GAMMA = 80;HTML_TIMESTAMP = NO;HTML_DYNAMIC_MENUS = YES;HTML_DYNAMIC_SECTIONS = NO;HTML_INDEX_NUM_ENTRIES = 100;GENERATE_DOCSET = NO;DOCSET_FEEDNAME = "Doxygen generated docs";DOCSET_BUNDLE_ID = org.doxygen.Project;DOCSET_PUBLISHER_ID = org.doxygen.Publisher;DOCSET_PUBLISHER_NAME = Publisher;GENERATE_HTMLHELP = NO;CHM_FILE =;HHC_LOCATION =;GENERATE_CHI = NO;CHM_INDEX_ENCODING =;BINARY_TOC = NO;TOC_EXPAND = NO;GENERATE_QHP = NO;QCH_FILE =;QHP_NAMESPACE = org.doxygen.Project;QHP_VIRTUAL_FOLDER = doc;QHP_CUST_FILTER_NAME =;QHP_CUST_FILTER_ATTRS =;QHP_SECT_FILTER_ATTRS =;QHG_LOCATION =;GENERATE_ECLIPSEHELP = NO;ECLIPSE_DOC_ID = org.doxygen.Project;DISABLE_INDEX = NO;GENERATE_TREEVIEW = NO;ENUM_VALUES_PER_LINE = 4;TREEVIEW_WIDTH = 250;EXT_LINKS_IN_WINDOW = NO;HTML_FORMULA_FORMAT = png;FORMULA_FONTSIZE = 10;FORMULA_TRANSPARENT = YES;FORMULA_MACROFILE =;USE_MATHJAX = NO;MATHJAX_FORMAT = HTML-CSS;MATHJAX_RELPATH = https://cdn.jsdelivr.net/npm/mathjax@2;MATHJAX_EXTENSIONS =;MATHJAX_CODEFILE =;SEARCHENGINE = YES;SERVER_BASED_SEARCH = NO;EXTERNAL_SEARCH = NO;SEARCHENGINE_URL =;SEARCHDATA_FILE = searchdata.xml;EXTERNAL_SEARCH_ID =;EXTRA_SEARCH_MAPPINGS =;#---------------------------------------------------------------------------;# Configuration options related to the LaTeX output;#---------------------------------------------------------------------------;GENERATE_LATEX = YES;LATEX_OUTPUT = latex;LATEX_CMD_NAME =;MAKEINDEX_CMD_NAME = makeindex;LATEX_MAKEINDEX_CMD = makeindex;COMPACT_LATEX = NO;PAPER_TYPE = a4;EXTRA_PACKAGES =;LATEX_HEADER =;LATEX_FOOTER =;LATEX_EXTRA_STYLESHEET =;LATEX_EXTRA_FILES =;PDF_HYPERLINKS = YES;USE_PDFLATEX = YES;LATEX_BATCHMODE = NO;LATEX_HIDE_INDICES = NO;LATEX_SOURCE_CODE = NO;LATEX_BIB_STYLE = plain;LATEX_TIMESTAMP = NO;LATEX_EMOJI_DIRECTORY =;#---------------------------------------------------------------------------;# Configuration options related to the RTF output;#---------------------------------------------------------------------------;GENERATE_RTF = NO;RTF_OUTPUT = rtf;COMPACT_RTF = NO;RTF_HYPERLINKS = NO;RTF_STYLESHEET_FILE =;RTF_EXTENSIONS_FILE =;RTF_SOURCE_CODE = NO;#---------------------------------------------------------------------------;# Configuration options related to the man page output;#---------------------------------------------------------------------------;GENERATE_MAN = NO;MAN_OUTPUT = man;MAN_EXTENSION = .3;MAN_SUBDIR =;MAN_LINKS = NO;#---------------------------------------------------------------------------;# Configuration options related to the XML output;#---------------------------------------------------------------------------;GENERATE_XML = NO;XML_OUTPUT = xml;XML_PROGRAMLISTING = YES;XML_NS_MEMB_FILE_SCOPE = NO;#---------------------------------------------------------------------------;# Configuration options related to the DOCBOOK output;#---------------------------------------------------------------------------;GENERATE_DOCBOOK = NO;DOCBOOK_OUTPUT = docbook;DOCBOOK_PROGRAMLISTING = NO;#---------------------------------------------------------------------------;# Configuration options for the AutoGen Definitions output;#---------------------------------------------------------------------------;GENERATE_AUTOGEN_DEF = NO;#---------------------------------------------------------------------------;# Configuration options related to the Perl module output;#---------------------------------------------------------------------------;GENERATE_PERLMOD = NO;PERLMOD_LATEX = NO;PERLMOD_PRETTY = YES;PERLMOD_MAKEVAR_PREFIX =;#---------------------------------------------------------------------------;# Configuration options related to the preprocessor;#---------------------------------------------------------------------------;ENABLE_PREPROCESSING = YES;MACRO_EXPANSION = NO;EXPAND_ONLY_PREDEF = NO;SEARCH_INCLUDES = YES;INCLUDE_PATH =;INCLUDE_FILE_PATTERNS =;PREDEFINED =;EXPAND_AS_DEFINED =;SKIP_FUNCTION_MACROS = YES;#---------------------------------------------------------------------------;# Configuration options related to external references;#---------------------------------------------------------------------------;TAGFILES =;GENERATE_TAGFILE =;ALLEXTERNALS = NO;EXTERNAL_GROUPS = YES;EXTERNAL_PAGES = YES;#---------------------------------------------------------------------------;# Configuration options related to the dot tool;#---------------------------------------------------------------------------;CLASS_DIAGRAMS = YES;DIA_PATH =;HIDE_UNDOC_RELATIONS = YES;HAVE_DOT = YES;DOT_NUM_THREADS = 0;DOT_FONTNAME = Helvetica;DOT_FONTSIZE = 10;DOT_FONTPATH =;CLASS_GRAPH = YES;COLLABORATION_GRAPH = YES;GROUP_GRAPHS = YES;UML_LOOK = NO;UML_LIMIT_NUM_FIELDS = 10;DOT_UML_DETAILS = NO;DOT_WRAP_THRESHOLD = 17;TEMPLATE_RELATIONS = NO;INCLUDE_GRAPH = YES;INCLUDED_BY_GRAPH = YES;CALL_GRAPH = NO;CALLER_GRAPH = NO;GRAPHICAL_HIERARCHY = YES;DIRECTORY_GRAPH = YES;DOT_IMAGE_FORMAT = png;INTERACTIVE_SVG = NO;DOT_PATH =;DOTFILE_DIRS =;MSCFILE_DIRS =;DIAFILE_DIRS =;PLANTUML_JAR_PATH =;PLANTUML_CFG_FILE =;PLANTUML_INCLUDE_PATH =;DOT_GRAPH_MAX_NODES = 50;MAX_DOT_GRAPH_DEPTH = 0;DOT_TRANSPARENT = NO;DOT_MULTI_TARGETS = NO;GENERATE_LEGEND = YES;DOT_CLEANUP = YES)VAR");
1773  print(0, "", "_key", R"VAR(DOT_CLEANUP)VAR");
1774  print(0, "", "_line", R"VAR()VAR");
1775  print(0, "", "_value", R"VAR(YES)VAR");
1776  print(0, "", "carl_CMAKE_DIR", R"VAR(/builds/ths/smt/smtrat/build/resources/src/CArL-EP-build)VAR");
1777  print(0, "", "carl_CONSIDERED_CONFIGS", R"VAR()VAR");
1778  print(0, "", "carl_CONSIDERED_VERSIONS", R"VAR()VAR");
1779  print(0, "PATH", "carl_DIR", R"VAR(carl_DIR-NOTFOUND)VAR");
1780  print(0, "", "carl_FOUND", R"VAR(0)VAR");
1781  print(0, "", "carl_INCLUDE_DIR", R"VAR(/builds/ths/smt/smtrat/build/resources/src/CArL-EP/src)VAR");
1782  print(0, "", "carl_LIBRARIES", R"VAR(carl-arith-shared)VAR");
1783  print(0, "", "carl_MINORMONTHVERSION", R"VAR(02)VAR");
1784  print(0, "", "carl_MINORYEARVERSION", R"VAR(24)VAR");
1785  print(0, "", "carl_VERSION", R"VAR(24.02)VAR");
1786  print(0, "", "carl_VERSION_MAJOR", R"VAR(24)VAR");
1787  print(0, "", "carl_VERSION_MINOR", R"VAR(02)VAR");
1788  print(0, "", "lang", R"VAR()VAR");
1789  print(0, "", "p", R"VAR()VAR");
1790  print(0, "STATIC", "smtrat-analyzer-shared_LIB_DEPENDS", R"VAR(general;smtrat-cad-shared;general;smtrat-common-shared;)VAR");
1791  print(0, "STATIC", "smtrat-analyzer-static_LIB_DEPENDS", R"VAR(general;smtrat-cad-static;general;smtrat-common-static;)VAR");
1792  print(0, "STATIC", "smtrat-cad-shared_LIB_DEPENDS", R"VAR(general;smtrat-common-shared;general;smtrat-variablebounds-shared;general;carl-covering-shared;general;carl-formula-shared;)VAR");
1793  print(0, "STATIC", "smtrat-cad-static_LIB_DEPENDS", R"VAR(general;smtrat-common-static;general;smtrat-variablebounds-static;general;carl-covering-static;general;carl-formula-static;)VAR");
1794  print(0, "STATIC", "smtrat-cadcells-shared_LIB_DEPENDS", R"VAR(general;smtrat-common-shared;general;carl-covering-shared;general;carl-formula-shared;)VAR");
1795  print(0, "STATIC", "smtrat-cadcells-static_LIB_DEPENDS", R"VAR(general;smtrat-common-static;general;carl-covering-static;general;carl-formula-static;)VAR");
1796  print(0, "STATIC", "smtrat-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;carl-formula-shared;general;carl-settings-shared;general;carl-statistics-shared;)VAR");
1797  print(0, "STATIC", "smtrat-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;carl-formula-static;general;carl-settings-static;general;carl-statistics-static;)VAR");
1798  print(0, "STATIC", "smtrat-coveringng-shared_LIB_DEPENDS", R"VAR(general;smtrat-common-shared;general;smtrat-cadcells-shared;general;smtrat-mcsat-shared;)VAR");
1799  print(0, "STATIC", "smtrat-coveringng-static_LIB_DEPENDS", R"VAR(general;smtrat-common-static;general;smtrat-cadcells-static;general;smtrat-mcsat-static;)VAR");
1800  print(0, "STATIC", "smtrat-fmplex-shared_LIB_DEPENDS", R"VAR(general;carl-formula-shared;general;carl-arith-shared;)VAR");
1801  print(0, "STATIC", "smtrat-fmplex-static_LIB_DEPENDS", R"VAR(general;carl-formula-static;general;carl-arith-static;)VAR");
1802  print(0, "STATIC", "smtrat-max-smt-shared_LIB_DEPENDS", R"VAR(general;smtrat-common-shared;general;carl-arith-shared;)VAR");
1803  print(0, "STATIC", "smtrat-max-smt-static_LIB_DEPENDS", R"VAR(general;smtrat-common-static;general;carl-arith-static;)VAR");
1804  print(0, "STATIC", "smtrat-mcsat-shared_LIB_DEPENDS", R"VAR(general;smtrat-common-shared;general;smtrat-solver-shared;general;smtrat-module-LRAModule-LRASettings1-shared;general;smtrat-cadcells-shared;general;rt;)VAR");
1805  print(0, "STATIC", "smtrat-mcsat-static_LIB_DEPENDS", R"VAR(general;smtrat-common-static;general;smtrat-solver-static;general;smtrat-module-LRAModule-LRASettings1-static;general;smtrat-cadcells-static;general;rt;)VAR");
1806  print(0, "STATIC", "smtrat-module-BEModule-BESettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-BEModule-common-shared;)VAR");
1807  print(0, "STATIC", "smtrat-module-BEModule-BESettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-BEModule-common-static;)VAR");
1808  print(0, "STATIC", "smtrat-module-BEModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1809  print(0, "STATIC", "smtrat-module-BEModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1810  print(0, "STATIC", "smtrat-module-BVModule-BVSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-BVModule-common-shared;)VAR");
1811  print(0, "STATIC", "smtrat-module-BVModule-BVSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-BVModule-common-static;)VAR");
1812  print(0, "STATIC", "smtrat-module-BVModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1813  print(0, "STATIC", "smtrat-module-BVModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1814  print(0, "STATIC", "smtrat-module-CNFerModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1815  print(0, "STATIC", "smtrat-module-CNFerModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1816  print(0, "STATIC", "smtrat-module-CSplitModule-CSplitSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-CSplitModule-common-shared;)VAR");
1817  print(0, "STATIC", "smtrat-module-CSplitModule-CSplitSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-CSplitModule-common-static;)VAR");
1818  print(0, "STATIC", "smtrat-module-CSplitModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;general;smtrat-module-LRAModule-LRASettings1-shared;general;smtrat-module-SATModule-SATSettings1-shared;)VAR");
1819  print(0, "STATIC", "smtrat-module-CSplitModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;general;smtrat-module-LRAModule-LRASettings1-static;general;smtrat-module-SATModule-SATSettings1-static;)VAR");
1820  print(0, "STATIC", "smtrat-module-CoCoAGBModule-CoCoAGBSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-CoCoAGBModule-common-shared;)VAR");
1821  print(0, "STATIC", "smtrat-module-CoCoAGBModule-CoCoAGBSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-CoCoAGBModule-common-static;)VAR");
1822  print(0, "STATIC", "smtrat-module-CoCoAGBModule-CoCoAGBSettings2-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-CoCoAGBModule-common-shared;)VAR");
1823  print(0, "STATIC", "smtrat-module-CoCoAGBModule-CoCoAGBSettings2-static_LIB_DEPENDS", R"VAR(general;smtrat-module-CoCoAGBModule-common-static;)VAR");
1824  print(0, "STATIC", "smtrat-module-CoCoAGBModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1825  print(0, "STATIC", "smtrat-module-CoCoAGBModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1826  print(0, "STATIC", "smtrat-module-CoveringNGModule-CoveringNGSettingsDefault-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-CoveringNGModule-common-shared;)VAR");
1827  print(0, "STATIC", "smtrat-module-CoveringNGModule-CoveringNGSettingsDefault-static_LIB_DEPENDS", R"VAR(general;smtrat-module-CoveringNGModule-common-static;)VAR");
1828  print(0, "STATIC", "smtrat-module-CoveringNGModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;general;smtrat-coveringng-shared;)VAR");
1829  print(0, "STATIC", "smtrat-module-CoveringNGModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;general;smtrat-coveringng-static;)VAR");
1830  print(0, "STATIC", "smtrat-module-CubeLIAModule-CubeLIASettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-CubeLIAModule-common-shared;)VAR");
1831  print(0, "STATIC", "smtrat-module-CubeLIAModule-CubeLIASettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-CubeLIAModule-common-static;)VAR");
1832  print(0, "STATIC", "smtrat-module-CubeLIAModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;general;smtrat-module-LRAModule-LRASettings1-shared;)VAR");
1833  print(0, "STATIC", "smtrat-module-CubeLIAModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;general;smtrat-module-LRAModule-LRASettings1-static;)VAR");
1834  print(0, "STATIC", "smtrat-module-CurryModule-CurrySettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-CurryModule-common-shared;)VAR");
1835  print(0, "STATIC", "smtrat-module-CurryModule-CurrySettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-CurryModule-common-static;)VAR");
1836  print(0, "STATIC", "smtrat-module-CurryModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1837  print(0, "STATIC", "smtrat-module-CurryModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1838  print(0, "STATIC", "smtrat-module-EMModule-EMSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-EMModule-common-shared;)VAR");
1839  print(0, "STATIC", "smtrat-module-EMModule-EMSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-EMModule-common-static;)VAR");
1840  print(0, "STATIC", "smtrat-module-EMModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1841  print(0, "STATIC", "smtrat-module-EMModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1842  print(0, "STATIC", "smtrat-module-ESModule-ESSettingsDefault-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-ESModule-common-shared;)VAR");
1843  print(0, "STATIC", "smtrat-module-ESModule-ESSettingsDefault-static_LIB_DEPENDS", R"VAR(general;smtrat-module-ESModule-common-static;)VAR");
1844  print(0, "STATIC", "smtrat-module-ESModule-ESSettingsLimitSubstitution-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-ESModule-common-shared;)VAR");
1845  print(0, "STATIC", "smtrat-module-ESModule-ESSettingsLimitSubstitution-static_LIB_DEPENDS", R"VAR(general;smtrat-module-ESModule-common-static;)VAR");
1846  print(0, "STATIC", "smtrat-module-ESModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1847  print(0, "STATIC", "smtrat-module-ESModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1848  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-shared;)VAR");
1849  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-static;)VAR");
1850  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettings1Old-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-shared;)VAR");
1851  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettings1Old-static_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-static;)VAR");
1852  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettings2-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-shared;)VAR");
1853  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettings2-static_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-static;)VAR");
1854  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettings3-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-shared;)VAR");
1855  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettings3-static_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-static;)VAR");
1856  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettingsOptimization-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-shared;)VAR");
1857  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettingsOptimization-static_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-static;)VAR");
1858  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettingsPB-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-shared;)VAR");
1859  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettingsPB-static_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-static;)VAR");
1860  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettingsPBGroebner-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-shared;)VAR");
1861  print(0, "STATIC", "smtrat-module-FPPModule-FPPSettingsPBGroebner-static_LIB_DEPENDS", R"VAR(general;smtrat-module-FPPModule-common-static;)VAR");
1862  print(0, "STATIC", "smtrat-module-FPPModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;general;smtrat-strategy-PreprocessingOne-shared;general;smtrat-strategy-PreprocessingTwo-shared;)VAR");
1863  print(0, "STATIC", "smtrat-module-FPPModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;general;smtrat-strategy-PreprocessingOne-static;general;smtrat-strategy-PreprocessingTwo-static;)VAR");
1864  print(0, "STATIC", "smtrat-module-GBModule-GBSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1865  print(0, "STATIC", "smtrat-module-GBModule-GBSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1866  print(0, "STATIC", "smtrat-module-GBModule-GBSettings3-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1867  print(0, "STATIC", "smtrat-module-GBModule-GBSettings3-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1868  print(0, "STATIC", "smtrat-module-GBModule-GBSettings4-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1869  print(0, "STATIC", "smtrat-module-GBModule-GBSettings4-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1870  print(0, "STATIC", "smtrat-module-GBModule-GBSettings41-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1871  print(0, "STATIC", "smtrat-module-GBModule-GBSettings41-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1872  print(0, "STATIC", "smtrat-module-GBModule-GBSettings43-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1873  print(0, "STATIC", "smtrat-module-GBModule-GBSettings43-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1874  print(0, "STATIC", "smtrat-module-GBModule-GBSettings5-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1875  print(0, "STATIC", "smtrat-module-GBModule-GBSettings5-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1876  print(0, "STATIC", "smtrat-module-GBModule-GBSettings51-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1877  print(0, "STATIC", "smtrat-module-GBModule-GBSettings51-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1878  print(0, "STATIC", "smtrat-module-GBModule-GBSettings51A-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1879  print(0, "STATIC", "smtrat-module-GBModule-GBSettings51A-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1880  print(0, "STATIC", "smtrat-module-GBModule-GBSettings6-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1881  print(0, "STATIC", "smtrat-module-GBModule-GBSettings6-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1882  print(0, "STATIC", "smtrat-module-GBModule-GBSettings61-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1883  print(0, "STATIC", "smtrat-module-GBModule-GBSettings61-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1884  print(0, "STATIC", "smtrat-module-GBModule-GBSettings61A-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1885  print(0, "STATIC", "smtrat-module-GBModule-GBSettings61A-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1886  print(0, "STATIC", "smtrat-module-GBModule-GBSettings63-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-shared;)VAR");
1887  print(0, "STATIC", "smtrat-module-GBModule-GBSettings63-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBModule-common-static;)VAR");
1888  print(0, "STATIC", "smtrat-module-GBModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1889  print(0, "STATIC", "smtrat-module-GBModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1890  print(0, "STATIC", "smtrat-module-GBPPModule-GBPPSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-GBPPModule-common-shared;)VAR");
1891  print(0, "STATIC", "smtrat-module-GBPPModule-GBPPSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-GBPPModule-common-static;)VAR");
1892  print(0, "STATIC", "smtrat-module-GBPPModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1893  print(0, "STATIC", "smtrat-module-GBPPModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1894  print(0, "STATIC", "smtrat-module-ICEModule-ICESettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-ICEModule-common-shared;)VAR");
1895  print(0, "STATIC", "smtrat-module-ICEModule-ICESettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-ICEModule-common-static;)VAR");
1896  print(0, "STATIC", "smtrat-module-ICEModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1897  print(0, "STATIC", "smtrat-module-ICEModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1898  print(0, "STATIC", "smtrat-module-ICPModule-ICPSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-ICPModule-common-shared;)VAR");
1899  print(0, "STATIC", "smtrat-module-ICPModule-ICPSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-ICPModule-common-static;)VAR");
1900  print(0, "STATIC", "smtrat-module-ICPModule-ICPSettings2-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-ICPModule-common-shared;)VAR");
1901  print(0, "STATIC", "smtrat-module-ICPModule-ICPSettings2-static_LIB_DEPENDS", R"VAR(general;smtrat-module-ICPModule-common-static;)VAR");
1902  print(0, "STATIC", "smtrat-module-ICPModule-ICPSettings3-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-ICPModule-common-shared;)VAR");
1903  print(0, "STATIC", "smtrat-module-ICPModule-ICPSettings3-static_LIB_DEPENDS", R"VAR(general;smtrat-module-ICPModule-common-static;)VAR");
1904  print(0, "STATIC", "smtrat-module-ICPModule-ICPSettings4-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-ICPModule-common-shared;)VAR");
1905  print(0, "STATIC", "smtrat-module-ICPModule-ICPSettings4-static_LIB_DEPENDS", R"VAR(general;smtrat-module-ICPModule-common-static;)VAR");
1906  print(0, "STATIC", "smtrat-module-ICPModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;general;smtrat-module-LRAModule-LRASettingsICP-shared;)VAR");
1907  print(0, "STATIC", "smtrat-module-ICPModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;general;smtrat-module-LRAModule-LRASettingsICP-static;)VAR");
1908  print(0, "STATIC", "smtrat-module-IncWidthModule-IncWidthSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-IncWidthModule-common-shared;)VAR");
1909  print(0, "STATIC", "smtrat-module-IncWidthModule-IncWidthSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-IncWidthModule-common-static;)VAR");
1910  print(0, "STATIC", "smtrat-module-IncWidthModule-IncWidthSettings2-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-IncWidthModule-common-shared;)VAR");
1911  print(0, "STATIC", "smtrat-module-IncWidthModule-IncWidthSettings2-static_LIB_DEPENDS", R"VAR(general;smtrat-module-IncWidthModule-common-static;)VAR");
1912  print(0, "STATIC", "smtrat-module-IncWidthModule-IncWidthSettings3-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-IncWidthModule-common-shared;)VAR");
1913  print(0, "STATIC", "smtrat-module-IncWidthModule-IncWidthSettings3-static_LIB_DEPENDS", R"VAR(general;smtrat-module-IncWidthModule-common-static;)VAR");
1914  print(0, "STATIC", "smtrat-module-IncWidthModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1915  print(0, "STATIC", "smtrat-module-IncWidthModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1916  print(0, "STATIC", "smtrat-module-IntBlastModule-IntBlastSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-IntBlastModule-common-shared;)VAR");
1917  print(0, "STATIC", "smtrat-module-IntBlastModule-IntBlastSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-IntBlastModule-common-static;)VAR");
1918  print(0, "STATIC", "smtrat-module-IntBlastModule-IntBlastSettings2-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-IntBlastModule-common-shared;)VAR");
1919  print(0, "STATIC", "smtrat-module-IntBlastModule-IntBlastSettings2-static_LIB_DEPENDS", R"VAR(general;smtrat-module-IntBlastModule-common-static;)VAR");
1920  print(0, "STATIC", "smtrat-module-IntBlastModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;general;smtrat-module-ICPModule-ICPSettings1-shared;general;smtrat-strategy-BVSolver-shared;)VAR");
1921  print(0, "STATIC", "smtrat-module-IntBlastModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;general;smtrat-module-ICPModule-ICPSettings1-static;general;smtrat-strategy-BVSolver-static;)VAR");
1922  print(0, "STATIC", "smtrat-module-IntEqModule-IntEqSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-IntEqModule-common-shared;)VAR");
1923  print(0, "STATIC", "smtrat-module-IntEqModule-IntEqSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-IntEqModule-common-static;)VAR");
1924  print(0, "STATIC", "smtrat-module-IntEqModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1925  print(0, "STATIC", "smtrat-module-IntEqModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1926  print(0, "STATIC", "smtrat-module-LRAModule-LRASettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-LRAModule-common-shared;)VAR");
1927  print(0, "STATIC", "smtrat-module-LRAModule-LRASettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-LRAModule-common-static;)VAR");
1928  print(0, "STATIC", "smtrat-module-LRAModule-LRASettings2-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-LRAModule-common-shared;)VAR");
1929  print(0, "STATIC", "smtrat-module-LRAModule-LRASettings2-static_LIB_DEPENDS", R"VAR(general;smtrat-module-LRAModule-common-static;)VAR");
1930  print(0, "STATIC", "smtrat-module-LRAModule-LRASettingsICP-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-LRAModule-common-shared;)VAR");
1931  print(0, "STATIC", "smtrat-module-LRAModule-LRASettingsICP-static_LIB_DEPENDS", R"VAR(general;smtrat-module-LRAModule-common-static;)VAR");
1932  print(0, "STATIC", "smtrat-module-LRAModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1933  print(0, "STATIC", "smtrat-module-LRAModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1934  print(0, "STATIC", "smtrat-module-LVEModule-LVESettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-LVEModule-common-shared;)VAR");
1935  print(0, "STATIC", "smtrat-module-LVEModule-LVESettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-LVEModule-common-static;)VAR");
1936  print(0, "STATIC", "smtrat-module-LVEModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1937  print(0, "STATIC", "smtrat-module-LVEModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1938  print(0, "STATIC", "smtrat-module-MCBModule-MCBSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-MCBModule-common-shared;)VAR");
1939  print(0, "STATIC", "smtrat-module-MCBModule-MCBSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-MCBModule-common-static;)VAR");
1940  print(0, "STATIC", "smtrat-module-MCBModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1941  print(0, "STATIC", "smtrat-module-MCBModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1942  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1943  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1944  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings10-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1945  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings10-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1946  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings11-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1947  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings11-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1948  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings12-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1949  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings12-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1950  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings13-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1951  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings13-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1952  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings14-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1953  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings14-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1954  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings15-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1955  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings15-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1956  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings16-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1957  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings16-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1958  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings17-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1959  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings17-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1960  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings18-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1961  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings18-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1962  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings19-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1963  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings19-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1964  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings2-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1965  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings2-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1966  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings20-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1967  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings20-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1968  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings21-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1969  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings21-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1970  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings22-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1971  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings22-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1972  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings23-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1973  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings23-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1974  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings24-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1975  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings24-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1976  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings25-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1977  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings25-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1978  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings3-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1979  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings3-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1980  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings4-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1981  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings4-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1982  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings5-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1983  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings5-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1984  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings6-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1985  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings6-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1986  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings7-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1987  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings7-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1988  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings8-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1989  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings8-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1990  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings9-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-shared;)VAR");
1991  print(0, "STATIC", "smtrat-module-NRAILModule-NRAILSettings9-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NRAILModule-common-static;)VAR");
1992  print(0, "STATIC", "smtrat-module-NRAILModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
1993  print(0, "STATIC", "smtrat-module-NRAILModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
1994  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsBrown-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
1995  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsBrown-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
1996  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsCollins-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
1997  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsCollins-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
1998  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_B-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
1999  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_B-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2000  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BD-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2001  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BD-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2002  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BR-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2003  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BR-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2004  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BRD-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2005  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BRD-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2006  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BRI-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2007  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BRI-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2008  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BRID-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2009  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BRID-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2010  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BS-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2011  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BS-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2012  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BSD-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2013  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BSD-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2014  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BSI-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2015  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BSI-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2016  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BSID-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2017  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_BSID-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2018  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_R-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2019  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_R-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2020  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_RD-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2021  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_RD-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2022  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_RI-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2023  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_RI-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2024  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_RID-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2025  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_RID-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2026  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_S-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2027  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_S-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2028  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_SD-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2029  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_SD-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2030  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_SI-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2031  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_SI-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2032  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_SID-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2033  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEQ_SID-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2034  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEnumerateAll-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2035  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsEnumerateAll-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2036  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsF1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2037  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsF1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2038  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsFO1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2039  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsFO1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2040  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsFOS-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2041  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsFOS-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2042  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsFOV-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2043  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsFOV-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2044  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsFU-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2045  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsFU-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2046  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsFV-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2047  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsFV-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2048  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsHong-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2049  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsHong-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2050  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsInterleave-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2051  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsInterleave-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2052  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsLazard-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2053  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsLazard-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2054  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISBase-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2055  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISBase-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2056  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISExact-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2057  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISExact-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2058  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISGreedy-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2059  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISGreedy-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2060  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISGreedyPre-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2061  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISGreedyPre-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2062  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISGreedyWeighted-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2063  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISGreedyWeighted-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2064  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISHybrid-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2065  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISHybrid-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2066  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISTrivial-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2067  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMISTrivial-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2068  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMcCallum-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2069  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMcCallum-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2070  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMcCallumPartial-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2071  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsMcCallumPartial-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2072  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsNO-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2073  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsNO-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2074  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsNU-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2075  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsNU-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2076  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsNaive-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2077  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsNaive-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2078  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsPP-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2079  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsPP-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2080  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsPPRR-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2081  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsPPRR-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2082  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsPPVE-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2083  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsPPVE-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2084  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsPPVERR-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2085  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsPPVERR-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2086  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsSO-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2087  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsSO-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2088  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsSU-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2089  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettingsSU-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2090  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOLS-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2091  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOLS-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2092  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOLT-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2093  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOLT-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2094  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOLTA-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2095  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOLTA-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2096  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOLTS-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2097  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOLTS-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2098  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOLTSA-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2099  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOLTSA-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2100  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOS-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2101  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOS-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2102  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOT-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2103  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOT-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2104  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOTLSA-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2105  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOTLSA-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2106  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOTS-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2107  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOTS-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2108  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOTSA-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2109  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOTSA-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2110  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOType-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2111  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_LOType-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2112  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_POD-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2113  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_POD-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2114  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_POLD-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2115  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_POLD-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2116  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_POPD-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2117  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_POPD-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2118  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_POSD-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2119  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_POSD-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2120  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_POlD-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-shared;)VAR");
2121  print(0, "STATIC", "smtrat-module-NewCADModule-NewCADSettings_POlD-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCADModule-common-static;)VAR");
2122  print(0, "STATIC", "smtrat-module-NewCADModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;general;smtrat-cad-shared;)VAR");
2123  print(0, "STATIC", "smtrat-module-NewCADModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;general;smtrat-cad-static;)VAR");
2124  print(0, "STATIC", "smtrat-module-NewCoveringModule-NewCoveringSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCoveringModule-common-shared;)VAR");
2125  print(0, "STATIC", "smtrat-module-NewCoveringModule-NewCoveringSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCoveringModule-common-static;)VAR");
2126  print(0, "STATIC", "smtrat-module-NewCoveringModule-NewCoveringSettings2-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCoveringModule-common-shared;)VAR");
2127  print(0, "STATIC", "smtrat-module-NewCoveringModule-NewCoveringSettings2-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCoveringModule-common-static;)VAR");
2128  print(0, "STATIC", "smtrat-module-NewCoveringModule-NewCoveringSettings3-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCoveringModule-common-shared;)VAR");
2129  print(0, "STATIC", "smtrat-module-NewCoveringModule-NewCoveringSettings3-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCoveringModule-common-static;)VAR");
2130  print(0, "STATIC", "smtrat-module-NewCoveringModule-NewCoveringSettings4-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCoveringModule-common-shared;)VAR");
2131  print(0, "STATIC", "smtrat-module-NewCoveringModule-NewCoveringSettings4-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewCoveringModule-common-static;)VAR");
2132  print(0, "STATIC", "smtrat-module-NewCoveringModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;general;smtrat-cadcells-shared;)VAR");
2133  print(0, "STATIC", "smtrat-module-NewCoveringModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;general;smtrat-cadcells-static;)VAR");
2134  print(0, "STATIC", "smtrat-module-NewGBPPModule-NewGBPPSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-NewGBPPModule-common-shared;)VAR");
2135  print(0, "STATIC", "smtrat-module-NewGBPPModule-NewGBPPSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-NewGBPPModule-common-static;)VAR");
2136  print(0, "STATIC", "smtrat-module-NewGBPPModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
2137  print(0, "STATIC", "smtrat-module-NewGBPPModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
2138  print(0, "STATIC", "smtrat-module-PBGaussModule-PBGaussSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBGaussModule-common-shared;)VAR");
2139  print(0, "STATIC", "smtrat-module-PBGaussModule-PBGaussSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBGaussModule-common-static;)VAR");
2140  print(0, "STATIC", "smtrat-module-PBGaussModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
2141  print(0, "STATIC", "smtrat-module-PBGaussModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
2142  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2143  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2144  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsBase-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2145  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsBase-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2146  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsBasic-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2147  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsBasic-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2148  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsCardinalityOnly05-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2149  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsCardinalityOnly05-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2150  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsCardinalityOnly05Normalize-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2151  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsCardinalityOnly05Normalize-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2152  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsCardinalityOnly20-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2153  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsCardinalityOnly20-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2154  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsCardinalityOnly20Normalize-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2155  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsCardinalityOnly20Normalize-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2156  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsFull05-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2157  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsFull05-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2158  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsFull20-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2159  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsFull20-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2160  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsLIAOnly-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2161  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsLIAOnly-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2162  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsLIAOnlyWithNormalize-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2163  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsLIAOnlyWithNormalize-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2164  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsMaxSMT-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2165  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsMaxSMT-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2166  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsWithCardConstr-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2167  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsWithCardConstr-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2168  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsWithMixedConstr-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2169  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsWithMixedConstr-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2170  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsWithNormalize-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2171  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsWithNormalize-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2172  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsWithRNS-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-shared;)VAR");
2173  print(0, "STATIC", "smtrat-module-PBPPModule-PBPPSettingsWithRNS-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PBPPModule-common-static;)VAR");
2174  print(0, "STATIC", "smtrat-module-PBPPModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
2175  print(0, "STATIC", "smtrat-module-PBPPModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
2176  print(0, "STATIC", "smtrat-module-PFEModule-PFESettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-PFEModule-common-shared;)VAR");
2177  print(0, "STATIC", "smtrat-module-PFEModule-PFESettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-PFEModule-common-static;)VAR");
2178  print(0, "STATIC", "smtrat-module-PFEModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
2179  print(0, "STATIC", "smtrat-module-PFEModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
2180  print(0, "STATIC", "smtrat-module-PNFerModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
2181  print(0, "STATIC", "smtrat-module-PNFerModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
2182  print(0, "STATIC", "smtrat-module-SATModule-SATSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2183  print(0, "STATIC", "smtrat-module-SATModule-SATSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2184  print(0, "STATIC", "smtrat-module-SATModule-SATSettings3-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2185  print(0, "STATIC", "smtrat-module-SATModule-SATSettings3-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2186  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSAT-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2187  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSAT-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2188  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATDefault-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2189  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATDefault-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2190  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPOC-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2191  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPOC-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2192  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPVSNL-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2193  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPVSNL-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2194  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPVSOC-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2195  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPVSOC-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2196  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPVSOCLWH12-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2197  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPVSOCLWH12-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2198  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPVSOCNew-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2199  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPVSOCNew-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2200  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPVSOCNewOC-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2201  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMICPVSOCNewOC-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2202  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMOCNew-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2203  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATFMOCNew-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2204  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATNL-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2205  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATNL-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2206  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATOC-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2207  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATOC-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2208  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATOCNew-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2209  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATOCNew-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2210  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATVSOCNew-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2211  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsMCSATVSOCNew-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2212  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsStopAfterUnknown-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-shared;)VAR");
2213  print(0, "STATIC", "smtrat-module-SATModule-SATSettingsStopAfterUnknown-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SATModule-common-static;)VAR");
2214  print(0, "STATIC", "smtrat-module-SATModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;general;smtrat-mcsat-shared;)VAR");
2215  print(0, "STATIC", "smtrat-module-SATModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;general;smtrat-mcsat-static;)VAR");
2216  print(0, "STATIC", "smtrat-module-STropModule-STropSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-shared;)VAR");
2217  print(0, "STATIC", "smtrat-module-STropModule-STropSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-static;)VAR");
2218  print(0, "STATIC", "smtrat-module-STropModule-STropSettings2-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-shared;)VAR");
2219  print(0, "STATIC", "smtrat-module-STropModule-STropSettings2-static_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-static;)VAR");
2220  print(0, "STATIC", "smtrat-module-STropModule-STropSettings2OutputOnly-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-shared;)VAR");
2221  print(0, "STATIC", "smtrat-module-STropModule-STropSettings2OutputOnly-static_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-static;)VAR");
2222  print(0, "STATIC", "smtrat-module-STropModule-STropSettings3-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-shared;)VAR");
2223  print(0, "STATIC", "smtrat-module-STropModule-STropSettings3-static_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-static;)VAR");
2224  print(0, "STATIC", "smtrat-module-STropModule-STropSettings3OutputOnly-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-shared;)VAR");
2225  print(0, "STATIC", "smtrat-module-STropModule-STropSettings3OutputOnly-static_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-static;)VAR");
2226  print(0, "STATIC", "smtrat-module-STropModule-STropSettings3b-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-shared;)VAR");
2227  print(0, "STATIC", "smtrat-module-STropModule-STropSettings3b-static_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-static;)VAR");
2228  print(0, "STATIC", "smtrat-module-STropModule-STropSettings3bOutputOnly-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-shared;)VAR");
2229  print(0, "STATIC", "smtrat-module-STropModule-STropSettings3bOutputOnly-static_LIB_DEPENDS", R"VAR(general;smtrat-module-STropModule-common-static;)VAR");
2230  print(0, "STATIC", "smtrat-module-STropModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;general;smtrat-module-LRAModule-LRASettings1-shared;general;smtrat-module-SATModule-SATSettings1-shared;)VAR");
2231  print(0, "STATIC", "smtrat-module-STropModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;general;smtrat-module-LRAModule-LRASettings1-static;general;smtrat-module-SATModule-SATSettings1-static;)VAR");
2232  print(0, "STATIC", "smtrat-module-SplitSOSModule-SplitSOSSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SplitSOSModule-common-shared;)VAR");
2233  print(0, "STATIC", "smtrat-module-SplitSOSModule-SplitSOSSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SplitSOSModule-common-static;)VAR");
2234  print(0, "STATIC", "smtrat-module-SplitSOSModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
2235  print(0, "STATIC", "smtrat-module-SplitSOSModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
2236  print(0, "STATIC", "smtrat-module-SymmetryModule-SymmetrySettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-SymmetryModule-common-shared;)VAR");
2237  print(0, "STATIC", "smtrat-module-SymmetryModule-SymmetrySettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-SymmetryModule-common-static;)VAR");
2238  print(0, "STATIC", "smtrat-module-SymmetryModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
2239  print(0, "STATIC", "smtrat-module-SymmetryModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
2240  print(0, "STATIC", "smtrat-module-VSModule-VSSettings1-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-VSModule-common-shared;)VAR");
2241  print(0, "STATIC", "smtrat-module-VSModule-VSSettings1-static_LIB_DEPENDS", R"VAR(general;smtrat-module-VSModule-common-static;)VAR");
2242  print(0, "STATIC", "smtrat-module-VSModule-VSSettings234-shared_LIB_DEPENDS", R"VAR(general;smtrat-module-VSModule-common-shared;)VAR");
2243  print(0, "STATIC", "smtrat-module-VSModule-VSSettings234-static_LIB_DEPENDS", R"VAR(general;smtrat-module-VSModule-common-static;)VAR");
2244  print(0, "STATIC", "smtrat-module-VSModule-common-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;smtrat-common-shared;general;smtrat-solver-shared;)VAR");
2245  print(0, "STATIC", "smtrat-module-VSModule-common-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;smtrat-common-static;general;smtrat-solver-static;)VAR");
2246  print(0, "STATIC", "smtrat-optimization-shared_LIB_DEPENDS", R"VAR(general;smtrat-common-shared;general;carl-arith-shared;)VAR");
2247  print(0, "STATIC", "smtrat-optimization-static_LIB_DEPENDS", R"VAR(general;smtrat-common-static;general;carl-arith-static;)VAR");
2248  print(0, "STATIC", "smtrat-qe-shared_LIB_DEPENDS", R"VAR(general;smtrat-common-shared;general;carl-formula-shared;general;smtrat-coveringng-shared;)VAR");
2249  print(0, "STATIC", "smtrat-qe-static_LIB_DEPENDS", R"VAR(general;smtrat-common-static;general;carl-formula-static;general;smtrat-coveringng-static;)VAR");
2250  print(0, "STATIC", "smtrat-solver-shared_LIB_DEPENDS", R"VAR(general;smtrat-common-shared;general;carl-formula-shared;)VAR");
2251  print(0, "STATIC", "smtrat-solver-static_LIB_DEPENDS", R"VAR(general;smtrat-common-static;general;carl-formula-static;)VAR");
2252  print(0, "STATIC", "smtrat-strategies-shared_LIB_DEPENDS", R"VAR(general;smtrat-solver-shared;)VAR");
2253  print(0, "STATIC", "smtrat-strategies-static_LIB_DEPENDS", R"VAR(general;smtrat-solver-static;)VAR");
2254  print(0, "STATIC", "smtrat-unsat-cores-shared_LIB_DEPENDS", R"VAR(general;smtrat-common-shared;general;carl-arith-shared;general;carl-covering-shared;)VAR");
2255  print(0, "STATIC", "smtrat-unsat-cores-static_LIB_DEPENDS", R"VAR(general;smtrat-common-static;general;carl-arith-static;general;carl-covering-static;)VAR");
2256  print(0, "STATIC", "smtrat-variablebounds-shared_LIB_DEPENDS", R"VAR(general;smtrat-common-shared;general;carl-arith-shared;general;carl-covering-shared;)VAR");
2257  print(0, "STATIC", "smtrat-variablebounds-static_LIB_DEPENDS", R"VAR(general;smtrat-common-static;general;carl-arith-static;general;carl-covering-static;)VAR");
2258  print(0, "STATIC", "smtrat_BINARY_DIR", R"VAR(/builds/ths/smt/smtrat/build)VAR");
2259  print(0, "", "smtrat_DESCRIPTION", R"VAR()VAR");
2260  print(0, "", "smtrat_HOMEPAGE_URL", R"VAR()VAR");
2261  print(0, "STATIC", "smtrat_IS_TOP_LEVEL", R"VAR(ON)VAR");
2262  print(0, "STATIC", "smtrat_SOURCE_DIR", R"VAR(/builds/ths/smt/smtrat)VAR");
2263  print(0, "", "type", R"VAR()VAR");
2264  print(0, "", "val", R"VAR(0)VAR");
2265  print(0, "", "var", R"VAR(CMAKE_INSTALL_DIR)VAR");
2266 
2267  return os;
2268 }
2269 
2270 }
compile_information.h
smtrat::compile_information::GitVersion
const std::string GitVersion
Definition: compile_information.cpp:17
smtrat::compile_information::BuildType
const std::string BuildType
Definition: compile_information.cpp:9
smtrat::compile_information::GitRevisionSHA1
const std::string GitRevisionSHA1
Definition: compile_information.cpp:12
smtrat::compile_information::SystemVersion
const std::string SystemVersion
Definition: compile_information.cpp:8
smtrat::compile_information::SystemName
const std::string SystemName
Definition: compile_information.cpp:7
smtrat::compile_information::Version
const std::string Version
Definition: compile_information.cpp:15
smtrat::compile_information::ProjectName
const std::string ProjectName
Definition: compile_information.cpp:14
smtrat::compile_information::Website
const std::string Website
Definition: compile_information.cpp:16
smtrat::compile_information::CXXCompiler
const std::string CXXCompiler
Definition: compile_information.cpp:10
smtrat::compile_information::PackageName
const std::string PackageName
Definition: compile_information.cpp:13
smtrat::compile_information::CXXCompilerVersion
const std::string CXXCompilerVersion
Definition: compile_information.cpp:11
smtrat::covering_ng::formula::formula_ds::print
void print(std::ostream &stream, const FormulaDB &db, const FormulaID id, const std::size_t level)
Definition: FormulaEvaluationGraph.cpp:20
smtrat::qe::type
QuantifierType type(const std::pair< QuantifierType, std::vector< carl::Variable >> &p)
Definition: QEQuery.h:39
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10
smtrat::operator<<
std::ostream & operator<<(std::ostream &os, CMakeOptionPrinter cmop)
Definition: compile_information.cpp:21