diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-03-08 10:50:39 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-08 10:50:39 -0600 |
| commit | 4a5a4ab5d7b4751ce0d730a2cff6678aa64b3306 (patch) | |
| tree | e741dbc609e7f052530bd6f44a976b6c15017fde /src/theory/arith/arith_preprocess.h | |
| parent | d7dc81173107bf65b9a90e163a1e85ce7b3c20ff (diff) | |
Simplify theory preprocessing (#6058)
Theory preprocessing now theory-preprocesses lemmas until fixed point. This eliminates the old code for rewriting them only, which is no longer necessary as theory-preprocessing subsumes rewriting.
Diffstat (limited to 'src/theory/arith/arith_preprocess.h')
0 files changed, 0 insertions, 0 deletions