SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
OCNew.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include <smtrat-solver/Manager.h>
4 #include <smtrat-modules/SATModule/SATModule.h>
5 
6 namespace smtrat {
7 
8 class MCSAT_OCNew : public Manager {
9 public:
10  MCSAT_OCNew();
11 };
12 
13 } // namespace smtrat
smtrat::MCSAT_OCNew
Definition: OCNew.h:8
smtrat::MCSAT_OCNew::MCSAT_OCNew
MCSAT_OCNew()
Definition: OCNew.cpp:24
smtrat::Manager
Base class for solvers.
Definition: Manager.h:34
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10