diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-27 00:36:24 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-27 00:36:24 -0500 |
commit | 6484bacc11e2f7b4b650fce08af23d997ce3448c (patch) | |
tree | e1eccd464cb994e36460f1e712b547922438cc5b /src/theory/arith/arithvar.h | |
parent | 9d98c926c971b70a04b8206e5b18c84b1dfeb38a (diff) |
Fix Taylor overapproximation for large exponentials (#2538)
Diffstat (limited to 'src/theory/arith/arithvar.h')
0 files changed, 0 insertions, 0 deletions