1 files changed, 63 insertions, 0 deletions
diff --git a/src/options/strings_options.toml b/src/options/strings_options.toml
index fd00b8917..dd9599c5c 100644
--- a/src/options/strings_options.toml
+++ b/src/options/strings_options.toml
@@ -216,3 +216,66 @@ header = "options/strings_options.h"
   default    = "true"
   read_only  = true
   help       = "do flat form inferences"
+
+[[option]]
+  name       = "stringsCacheSkolems"
+  category   = "expert"
+  long       = "strings-cache-skolems"
+  type       = "bool"
+  default    = "true"
+  read_only  = true
+  help       = "Cache skolems in string reductions"
+
+[[option]]
+  name       = "stringsNormalizeSkolems"
+  category   = "expert"
+  long       = "strings-normalize-skolems"
+  type       = "bool"
+  default    = "true"
+  read_only  = true
+  help       = "Normalize string skolems before looking them up in the cache"
+
+[[option]]
+  name       = "stringsRewriterEntailChecks"
+  category   = "expert"
+  long       = "strings-rewriter-entail-checks"
+  type       = "bool"
+  default    = "true"
+  read_only  = true
+  help       = "Enable the entailment checks in the strings rewriter"
+
+[[option]]
+  name       = "stringsRewriterApprox"
+  category   = "expert"
+  long       = "strings-rewriter-entail-approx"
+  type       = "bool"
+  default    = "true"
+  read_only  = true
+  help       = "Enable the entailment checks in the strings rewriter"
+
+[[option]]
+  name       = "stringsRewriterEntailContainsChecks"
+  category   = "expert"
+  long       = "strings-rewriter-entail-contains-checks"
+  type       = "bool"
+  default    = "true"
+  read_only  = true
+  help       = "Enable the contains entailment checks in the strings rewriter"
+
+[[option]]
+  name       = "stringsRewriterMultisetReasoning"
+  category   = "expert"
+  long       = "strings-rewriter-multiset-reasoning"
+  type       = "bool"
+  default    = "true"
+  read_only  = true
+  help       = "Enable multiset reasoning in the strings rewriter"
+
+[[option]]
+  name       = "stringsRewriterStripConstantEndpoints"
+  category   = "expert"
+  long       = "strings-rewriter-strip-constant-endpoints"
+  type       = "bool"
+  default    = "true"
+  read_only  = true
+  help       = "Enable stripping of constant endpoints"