27 Oct
2010
27 Oct
'10
6:04 p.m.
Fernando Cacciola wrote:
Thanks for the link to vroni, I didn't know of its existence.
Have in mind that Vroni (which indeed is not free) does not use exact predicates so it is not robust. At least last time I checked (this is many many years ago) Martin might have have updated it since then though.
Yes, I noticed his discussion of relaxing epsilon and panic mode with some alarm. Depending on the details of his license we might benchmark against his library. Most non-free licenses allow benchmarking without charge. I didn't see a link to the code, and the web site implied that he does not give it out except by request. Regards, Luke