diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-04-06 13:56:35 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-06 15:56:35 -0500 |
| commit | 49c5a2aef84d1c17b4401eae9c60a92190b0b5a7 (patch) | |
| tree | 80815221de855ede0c613c3a2517763bf37dc2b5 /src/smt/set_defaults.cpp | |
| parent | 9be8854786a6d27dfde21525e810a3b2f15e9d21 (diff) | |
Refactor disequality processing in string solver (#4209)
This commit refactors disequality processing in the core string solver.
It also adds statistics for the inferences and splits in those methods.
No semantic changes intended.
Diffstat (limited to 'src/smt/set_defaults.cpp')
0 files changed, 0 insertions, 0 deletions