cvc4-1.4
|
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. | |