smtrat-solver Directory Reference

Directory dependency graph for smtrat-solver:

Files
file	Manager.cpp [code]
file	Manager.h [code]
file	Module.cpp [code]
file	Module.h [code]
file	ModuleInput.cpp [code]
file	ModuleInput.h [code]
file	PModule.cpp [code]
file	PModule.h [code]
	All preprocessing modules shall derive from this module, that is modules, which simplify their received formula to an equisatisfiable formula being passed to their backends.
file	smtrat-solver.h [code]
file	StrategyGraph.h [code]
file	ThreadPool.cpp [code]
file	ThreadPool.h [code]