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"