diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-12-14 13:35:09 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-14 19:35:09 +0000 |
| commit | effb0d47ba5bfaebae17dcd06153489dccd90eff (patch) | |
| tree | ca323ec7815ba2f285355e8289eae33b3f892276 /src/theory/sets/cardinality_extension.cpp | |
| parent | ce3a462918ac62c10b14d6a23be7e57db0ee984e (diff) | |
Connecting the core array solver in strings (#7800)
This PR takes most of the remaining changes from the seqArray branch apart from the extension to model construction.
Notably it connects the core array solver to the array solver in strings.
Diffstat (limited to 'src/theory/sets/cardinality_extension.cpp')
0 files changed, 0 insertions, 0 deletions