diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-07-07 01:01:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-06 23:01:13 +0000 |
| commit | 468ba87a10e3f3fadf7c48a0b3923ecc489616ad (patch) | |
| tree | 22d5645b349f7b6620c6f86c33e606c85f95954f /src/theory/assertion.h | |
| parent | 4ac6c5179265ef9895bc9e939be0e47b3754137e (diff) | |
Integrate Lazard into CAD module (#6812)
This PR adds two new command line options that govern how the CAD module does projection and lifting, allowing to use the new Lazard evaluation. By default, we use McCallum with regular lifting which does not require CoCoA.
Additionally, this PR adds a bunch of unit tests for the CAD module.
Diffstat (limited to 'src/theory/assertion.h')
0 files changed, 0 insertions, 0 deletions