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/strings | |
| 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/strings')
0 files changed, 0 insertions, 0 deletions