SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat-qe.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include <smtrat-common/smtrat-common.h>
4 
5 namespace smtrat::qe {
6 
7 std::optional<FormulaT> qe(const FormulaT& formula);
8 
9 } // namespace smtrat::qe
smtrat::qe
Definition: CAD.h:9
smtrat::qe::qe
std::optional< FormulaT > qe(const FormulaT &formula)
Definition: smtrat-qe.cpp:10
smtrat::FormulaT
carl::Formula< Poly > FormulaT
Definition: types.h:37