smtrat-strategies Directory Reference

Directory dependency graph for smtrat-strategies:

Directories
directory	strategies

Files
file	config.h [code]
file	smtrat-strategies.cpp [code]
file	smtrat-strategies.h [code]