projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8f8103) | patch
Simplify side condition for SGE over UREM (index = 1) for CBQI BV. (#1463)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 3 Jan 2018 02:17:06 +0000 (18:17 -0800)
committerGitHub <noreply@github.com>
Wed, 3 Jan 2018 02:17:06 +0000 (18:17 -0800)
commit06ca7e3709fefbbec5d20f9c99e4a630a391dc28
tree5a3f4891b4d55654892601ce9c6e3ed4cf84ce95tree
parentf8f8103229a9b84e944148985ebb05abed814619commit | diff
Simplify side condition for SGE over UREM (index = 1) for CBQI BV. (#1463)
src/theory/quantifiers/bv_inverter.cpp diff | blob | history