diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-06-11 16:18:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-11 14:18:45 +0000 |
| commit | f10087c3b347da6ef625a2ad92846551ad324d73 (patch) | |
| tree | bcdc7d40e2b00761720950bcb4df3e90bb94370f /test/regress/regress0/ho/def-fun-flatten.smt2 | |
| parent | 18aef1113bbdb5ce8e007d115f032e425ad10797 (diff) | |
Add skeleton for new Lazard evaluation (#6732)
This PR add the interface and a dummy implementation for the new Lazard evaluation. The dummy implementation is used when CoCoALib is not available and simply falls back to poly::infeasible_regions. The proper implementation that actually does that the comment says will be added with subsequent PRs.
Diffstat (limited to 'test/regress/regress0/ho/def-fun-flatten.smt2')
0 files changed, 0 insertions, 0 deletions