smtrat::maxsmt::MaxSMTBackend< Solver, Strategy > Class Template Reference

#include <MaxSMT.h>

Detailed Description

template<typename Solver, MaxSMTStrategy Strategy>
class smtrat::maxsmt::MaxSMTBackend< Solver, Strategy >

Definition at line 22 of file MaxSMT.h.

---

The documentation for this class was generated from the following file:

• smtrat-max-smt/MaxSMT.h