cvc4-1.3
options Directory Reference

Files

file  base_options.h [code]
 
file  option_exception.h [code]
 Options-related exceptions.
 
file  options.h [code]
 Global (command-line, set-option, ...) parameters for SMT.