diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-10-15 18:12:00 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-10-16 10:49:10 -0700 |
| commit | fb00b860208a159d5fc57966d3ce600ba5b5346a (patch) | |
| tree | b32159352c664ce1522814b52552d65f25fed5dd /cvc4autoconfig.new.h.in | |
| parent | a2157ec8a1a34a1b12a5d8f49529b835ac62d001 (diff) | |
BV rewrites (mined): Rule 35: Generalized ConcatPullUp (BITVECTOR_AND) with ones (#2596).
Diffstat (limited to 'cvc4autoconfig.new.h.in')
0 files changed, 0 insertions, 0 deletions