[SMT-COMP] [mathsat] Re: QF_FP, min and zeros
tjark.weber at it.uu.se
Fri Apr 21 10:50:31 EDT 2017
On Fri, 2017-04-21 at 16:40 +0200, Alberto Griggio wrote:
> I don't think the above are reasons to exclude the benchmarks -- MathSAT
> is not going to enter the competition (at least not volutarily :-)
Thank you for your response! We'll see if there are any (other) solvers
submitted this year that support floating-point operations.
If you have suggestions for changes to the design of the competition
that would motivate the MathSAT team to participate (perhaps in the
long term, if not in 2017), do let me know!
More information about the SMT-COMP