smt Directory Reference
Directory dependency graph for smt:

## Files

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