diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-11-12 14:25:29 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-11-12 14:29:31 -0800 |
| commit | 2cd3a0518f6f5d6377c5c4b94df811f1fc04815b (patch) | |
| tree | e02e90dedf3b06b8355a08f6230ad73ef5900490 /src/theory/quantifiers/dynamic_rewrite.h | |
| parent | 50c9d0dd2e133fdcf26ea8493277dc7a04cc4a85 (diff) | |
We found that the `ss-combine` rewrite hurts solving performance, so
this commit is moving it to the extended rewriter.
Diffstat (limited to 'src/theory/quantifiers/dynamic_rewrite.h')
0 files changed, 0 insertions, 0 deletions