projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 89548ca) | patch
minor changes to arithmetic assertions involving nonlinearity and models (related...
authorMorgan Deters <mdeters@gmail.com>
Sun, 30 Sep 2012 23:20:49 +0000 (23:20 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 30 Sep 2012 23:20:49 +0000 (23:20 +0000)
commitf95c6698e5d57b7142b76f29e977168b5bb5ac8c
tree9f1b75d30cbe887982cc3dc1b3ee1d262b4d6bcdtree
parent89548ca600874468c68c0ebe67bec8efa7ecff31commit | diff
minor changes to arithmetic assertions involving nonlinearity and models (related to bug 405)
src/theory/arith/theory_arith.cpp diff | blob | history