SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat-common.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include "config.h"
4 #include "types.h"
5 #include "logging.h"
6 #include "settings/Settings.h"
7 #include "validation/Validation.h"
8 #include "checkpoints/Checkpoints.h"
9 
10 
11 #ifdef EXTERNALIZE_CLASSES
12 namespace carl {
13 
14 extern template class MultivariatePolynomial<smtrat::Rational>;
15 extern template class Constraint<smtrat::Poly>;
16 extern template class Formula<smtrat::Poly>;
17 
18 }
19 #endif
logging.h
Use your own judgement for the following log levels: TRACE Finer-grained informational events than th...