gsjj::passive::SMT Namespace Reference

Contains every method that relies on a SMT solver. More...

Classes
class	BiermannMethod
	Implements the Biermann and Feldman method. More...
class	NeiderJansenMethod
	The Neider and Jansen method. More...
class	SMTMethod
	The base class for every SMT-based method. More...

Detailed Description

Contains every method that relies on a SMT solver.

These methodes use CVC4.