diff options
Diffstat (limited to 'src/options/sets_options')
-rw-r--r-- | src/options/sets_options | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/options/sets_options b/src/options/sets_options deleted file mode 100644 index 3e093cb8b..000000000 --- a/src/options/sets_options +++ /dev/null @@ -1,20 +0,0 @@ -# -# 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 - -option setsRelEager --sets-rel-eager bool :default true - standard effort checks for relations - -option setsExt --sets-ext bool :default false - enable extended symbols such as complement and universe in theory of sets - -endmodule |