getting decimal approxmiation #6828
Unanswered
classicwuhao
asked this question in
Q&A
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hi, I was getting (^ (^ 2.0 0.001) 31.0 ) back from the model found by Z3. I am wondering is it possible to get an approximate value for this
RealExpr. I have already setpp.decimaltotrueBeta Was this translation helpful? Give feedback.
All reactions