diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-10-22 20:06:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-22 20:06:51 +0200 |
| commit | a7aba0c8580d5153fee99b4d59345e33c39c893b (patch) | |
| tree | bca5ab1672ed411119d53273c5e8c4d571142eea /src/theory/strings/term_registry.cpp | |
| parent | d758a32f5bb1361d766a71c3d2cdaeacb8f39a76 (diff) | |
Use theoryof-mode=type for QF_NRA (#5326)
We've observed that our QF_NRA solving benefits significantly from --theoryof-mode=type across the board (of other options that influence QF_NRA solving). This PR sets type as the new default for QF_NRA solving.
Diffstat (limited to 'src/theory/strings/term_registry.cpp')
0 files changed, 0 insertions, 0 deletions