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/Makefile.theories | |
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/Makefile.theories')
0 files changed, 0 insertions, 0 deletions