SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
SATSettingsMCSATOCNewInstantiation.cpp
Go to the documentation of this file.
1 #include "SATModule.tpp"
2 
3 namespace smtrat {
4 
5 template class SATModule<SATSettingsMCSATOCNew>;
6 
7 
8 }
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10