diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-21 09:26:04 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-21 09:26:19 -0500 |
commit | a33dac29d9cc8520f62b6e4f4f9138ea4e3fbcd4 (patch) | |
tree | b92bc3f34aca16a4b4ed6d42b2c2ae909dff17d4 /src/options | |
parent | 8a0d2b0577e174d2078026129dd01ea46f7f984a (diff) |
Handle subtypes in sets. Bug fixes for tuples with subtypes.
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/sets_options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/options/sets_options b/src/options/sets_options index 1c7e12a7d..3e093cb8b 100644 --- a/src/options/sets_options +++ b/src/options/sets_options @@ -14,4 +14,7 @@ option setsInferAsLemmas --sets-infer-as-lemmas bool :default true 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 |