diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-06-18 10:04:08 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-18 10:04:08 -0700 |
| commit | 073335156ff7644364d12a91d4d41af776cfb91b (patch) | |
| tree | 3c541683c11b132f168198b0f5c95ccd52df74da /src/proof/er/er_proof.cpp | |
| parent | f6a2704f9e35f72c7e682fa71a3f64e79dd4e9e3 (diff) | |
Strings: More aggressive skolem normalization (#2761)
This PR makes the skolem normalization in the string solver quite a bit
more aggressive by reducing more skolems to prefix and suffix skolems.
Experiments show that this PR significantly improves performance on CMU
benchmarks.
Diffstat (limited to 'src/proof/er/er_proof.cpp')
0 files changed, 0 insertions, 0 deletions