SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
NewCoveringSettings4Instantiation.cpp
Go to the documentation of this file.
1 /**
2  * @file NewCoveringInstantiation.cpp.in
3  * @author Philip Kroll <Philip.Kroll@rwth-aachen.de>
4  *
5  * @version 2021-07-08
6  * Created on 2021-07-08.
7  */
8 
9 #include "NewCoveringModule.tpp"
10 
11 namespace smtrat {
12 template class NewCoveringModule<NewCoveringSettings4>;
13 
14 }
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10