Hello Andrew !
Due to the big difference in solver time how could we figure out what's
is it in order to use this knowledge to improve the native solver time ?
I mean what debug/verbose options could help us have a clue ?
Cheers !
On 21/9/20 17:11, Andrew Makhorin wrote:
On Mon, 2020-09-21 at 16:09 +0200, Domingo Alvarez Duarte wrote:
Hello Andrew !
Are you saying that floating point calculations are more
efficient/precise in webassembly ?
No. I meant that due to floating-point computations running the same
computer program with the same data as a rule produces different results
on different platforms.
Cheers !
On 21/9/20 15:08, Andrew Makhorin wrote:
Does someone can give a possible explanation ?
floating-point computations