cvc4-1.3
|
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] |
file | simplification_mode.h [code] |
[[ Add one-line brief description here ]] | |
file | smt_engine.h [code] |
SmtEngine: the main public entry point of libcvc4. | |