diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-07 21:35:30 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-07 19:35:30 -0800 |
| commit | c9a7ca1f06080b7522ba582bdb99ba9077509209 (patch) | |
| tree | 8540f7f45031c1d24039517342c403c9e27b852d /test | |
| parent | 585e2876429dc93945cdaac202d5555468671861 (diff) | |
Split core solver from the theory of strings (#3713)
This splits the main procedure from Liang et al CAV 2014 to its own file, the "core solver" of theory of strings.
I have intentionally not updated or clang-formatted the code in core_solver.cpp since I would prefer this PR to involve as little change to behavior as possible (it is copied verbatim from theory_strings.cpp). Future PRs will clean this code up.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions