smt Directory Reference

Files
file	logic_exception.h [code]
	An exception that is thrown when a feature is used outside the logic that CVC4 is currently using.
file	modal_exception.h [code]
	An exception that is thrown when an interactive-only feature while CVC4 is being used in a non-interactive setting.
file	options.h [code]
	options.h
file	simplification_mode.h [code]
	[[ Add one-line brief description here ]]
file	smt_engine.h [code]
	SmtEngine: the main public entry point of libcvc4.