smtrat::unsatcore Namespace Reference

Contains strategy implementations for unsat core computations. More...

Data Structures
class	UnsatCoreBackend
class	UnsatCoreBackend< Solver, UnsatCoreStrategy::ModelExclusion >
	Implements an easy strategy to obtain an unsatisfiable core. More...

Detailed Description

Contains strategy implementations for unsat core computations.