diff options
Diffstat (limited to 'src/theory/strings/options')
| -rw-r--r-- | src/theory/strings/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/strings/options b/src/theory/strings/options index e44f388f4..59a95e5ec 100644 --- a/src/theory/strings/options +++ b/src/theory/strings/options @@ -16,6 +16,9 @@ option stdASCII strings-std-ascii --strings-std-ascii bool :default true :predic option stringFMF strings-fmf --strings-fmf bool :default false :read-write the finite model finding used by the theory of strings + +option stringEager strings-eager --strings-eager bool :default false + strings eager check option stringEIT strings-eit --strings-eit bool :default false the eager intersection used by the theory of strings |