diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-12 08:07:47 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-12 08:07:47 -0500 |
commit | 3c733d68aabc1c90b4f0f8a3e7a6a25f24896744 (patch) | |
tree | c621a56c021757e391fff471e71caf635ef95aea /src/options | |
parent | d4c7b0b250a419ec149f973abcb1c1bf3886cef3 (diff) |
Cardinality-related inferences per type in theory of strings (#4585)
Towards theory of sequences.
This updates various inference steps in the theory of strings that are based on collecting all equivalence classes to be per string-like type.
Diffstat (limited to 'src/options')
0 files changed, 0 insertions, 0 deletions