1 2 3 4 5 6 7 8 9 10 11 12 13 14
# # Option specification file for CVC4 # See src/options/base_options for a description of this file format # module SETS "options/sets_options.h" Sets option setsProxyLemmas --sets-proxy-lemmas bool :default false introduce proxy variables eagerly to shorten lemmas option setsInferAsLemmas --sets-infer-as-lemmas bool :default true send inferences as lemmas endmodule