cvc4-1.4

options → include Relation

File in src/optionsIncludes file in src/include
base_options.hcvc4_public.h
base_options_template.hcvc4_public.h
option_exception.hcvc4_public.h
options.hcvc4_public.h