smtrat::unsatcore::UnsatCoreBackend< Solver, Strategy > Class Template Reference

#include <UnsatCore.h>

Detailed Description

template<typename Solver, UnsatCoreStrategy Strategy>
class smtrat::unsatcore::UnsatCoreBackend< Solver, Strategy >

Definition at line 20 of file UnsatCore.h.

---

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

• smtrat-unsat-cores/UnsatCore.h