diff options
Diffstat (limited to 'src/options/sets_options.toml')
-rw-r--r-- | src/options/sets_options.toml | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/src/options/sets_options.toml b/src/options/sets_options.toml new file mode 100644 index 000000000..3d46b3be3 --- /dev/null +++ b/src/options/sets_options.toml @@ -0,0 +1,39 @@ +id = "SETS" +name = "Sets" +header = "options/sets_options.h" + +[[option]] + name = "setsProxyLemmas" + category = "regular" + long = "sets-proxy-lemmas" + type = "bool" + default = "false" + read_only = true + help = "introduce proxy variables eagerly to shorten lemmas" + +[[option]] + name = "setsInferAsLemmas" + category = "regular" + long = "sets-infer-as-lemmas" + type = "bool" + default = "true" + read_only = true + help = "send inferences as lemmas" + +[[option]] + name = "setsRelEager" + category = "regular" + long = "sets-rel-eager" + type = "bool" + default = "true" + read_only = true + help = "standard effort checks for relations" + +[[option]] + name = "setsExt" + category = "regular" + long = "sets-ext" + type = "bool" + default = "false" + read_only = true + help = "enable extended symbols such as complement and universe in theory of sets" |