diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-27 20:08:01 -0500 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-27 18:08:01 -0700 |
| commit | f8bda2828e5f3e984623e38ea0778d36144bd05c (patch) | |
| tree | 425258145cd80aab9a537bf4042d476ec494711f /src/printer/smt2 | |
| parent | fa55d0680afab5d319f393bafd3f7ecdf8870b1f (diff) | |
Refactor extended rewriter, move rewrites to aggressive (#2387)
This is work towards #2305.
With this PR, CVC4's performance is fairly reasonable on the Kind2 BMC benchmarks with --decision=internal --ext-rew-prep --ext-rew-prep-agg.
Diffstat (limited to 'src/printer/smt2')
0 files changed, 0 insertions, 0 deletions