projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac0bbd5) | patch
Fix substitution in nl solver (#3638)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 22 Jan 2020 22:09:47 +0000 (16:09 -0600)
committerAhmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>
Wed, 22 Jan 2020 22:09:47 +0000 (14:09 -0800)
commit91538b206fd5da5be289cf2d6165a854e6e5bc07
tree698b7350997439c3d9f1c55d5728963329302cd5tree
parentac0bbd54de6e2b95514400c8f502aea95e5346c4commit | diff
Fix substitution in nl solver (#3638)

* Fix for 3614

* Add regression

* Remove regression

Co-authored-by: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>
src/theory/arith/nl_model.cpp diff | blob | history