diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-09-27 13:45:27 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-27 13:45:27 -0700 |
commit | ddbf95c937091b95b742502b760767d757c7cf13 (patch) | |
tree | c15a2fc56226a8aa7cd48f6105f6cca7d349f33e /src/theory/theory_test_utils.h | |
parent | 4a4c0806ef75254f0344978bdfba0f077a1e663a (diff) |
CEGQI for BV: Add inverse for BITVECTOR_MULT. (#1153)
This implements side conditions and the instantiation via word-level inversion for operator BITVECTOR_MULT.
Diffstat (limited to 'src/theory/theory_test_utils.h')
0 files changed, 0 insertions, 0 deletions