cvc4-1.4
smt Directory Reference
Directory dependency graph for smt:
src/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.