SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
config.h
Go to the documentation of this file.
1 #pragma once
2 
3 /* #undef CLI_ENABLE_ANALYZER */
4 /* #undef CLI_ENABLE_CNF_CONVERSION */
5 /* #undef CLI_ENABLE_DIMACS_PARSER */
6 /* #undef CLI_ENABLE_FORMULAPARSER */
7 /* #undef CLI_ENABLE_OPB_PARSER */
8 /* #undef CLI_ENABLE_PREPROCESSOR */
9 /* #undef CLI_ENABLE_QUANTIFIER_ELIMINATION */