Dose the opensmt based on the GMP4.1.0 give the precision not better than it based on the latest gmp library, such as GMP5.0.1 ?Thank you.--
You received this message because you are subscribed to the Google Groups "opensmt" group.
To view this discussion on the web visit https://groups.google.com/d/msg/opensmt/-/AT6ERneMZj0J.
To post to this group, send email to ope...@googlegroups.com.
To unsubscribe from this group, send email to opensmt+u...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/opensmt?hl=en.