SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
utils.cpp
Go to the documentation of this file.
1 #include "utils.h"
2 
3 #ifdef SMTRAT_DEVOPTION_Statistics
4 namespace smtrat {
5 namespace mcsat {
6 namespace onecellcad {
7  OCStatistics &getStatistic() {
8  static OCStatistics &mStatistics = statistics_get<OCStatistics>("mcsat-explanation-onecellcad");
9  return mStatistics;
10  }
11 }
12 }
13 }
14 #endif
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10