diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-07-06 17:44:09 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-06 17:44:09 -0500 |
| commit | 4ac6c5179265ef9895bc9e939be0e47b3754137e (patch) | |
| tree | bf2cd175a534e5ca9a383a63cd6a086f1d5f45d0 /src/theory/theory_inference.cpp | |
| parent | b023494b8914be03d8f8ca26c1b1db332944f3fe (diff) | |
Integrate learned rewrite preprocessing pass (#6840)
This adds the learned rewrite preprocessing pass, which rewrites the input formula based on (typically theory specific) reasoning about learned literals. The main motivation is for preprocessing ints division/modulus based on bounds.
Diffstat (limited to 'src/theory/theory_inference.cpp')
0 files changed, 0 insertions, 0 deletions