projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf56c6c) | patch
Added division by constant handling for CBQI BV. (#1498)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 9 Jan 2018 00:52:36 +0000 (16:52 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Jan 2018 00:52:36 +0000 (16:52 -0800)
commit97324ee367bb4b270b948d2a7686862cbc7937b9
tree7329f42df495b4aec82214322c0b2a2190f3408atree
parentbf56c6cd619a0ad01d7a830bdd4bdfb6e143c27acommit | diff
Added division by constant handling for CBQI BV. (#1498)
src/theory/quantifiers/bv_inverter.cpp diff | blob | history