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