Hi Filip,
I don't know smathlib, but as you said, it seems to be not maintained anymore.
Elisa is based on Gaol which is based on the IBM mathematical library,
so it also relies on
another external library.
I agree to not start a new implementation, it will be painfull. I
don't think that Gecode will
become LGPL if it links with a LGPL library. But users should have the
choice to not embed such a dependency.
I didn't find a mathematical library which fit all our needs (license,
multi platforms, small, reliable).
So I see no choice but to use an external dependency which will be
LGPL. Up to now, I retained two possibilities which
are MPFR or CRlibm. Maybe CRLibm is easier to build under windows than
MPFR? (I am not a Windows user so I have no feedback on this)
I also think that a build-option should be used to decide if
transcendental constraints must be included. But we still have
to provide a fully functional implementation of FloatVar, and to
achieve it, we must choose a library. I prefer a library
which works on Linux and Windows. I think it's up to Gecode
maintainers to decide which choice has to be made, I will follow
their conlusions. But in the meantime, I will continue to dig the
topic, so thank you very much for all your remarks and
advices :) If a Windows user has ever used an exact mathematical
library, feel free to share your comments.
Best,
Vincent
Filip Konvi?ka <[email protected]> a écrit :
Maybe you can have a look at Gaol:
http://sourceforge.net/projects/gaol/
You can also write to the author Frederic Goualard to talk about the
subject.
One issue will probably be the license - both Gaol and MPFR are
LGPL, so including them in a Gecode distribution would make that
Gecode package also LGPL, I guess. Again, if a user decides to
build their own Gecode with this included, it's fine, so it's great
to have the option. But for a standard Gecode release my
understanding was that the ideal license would be MIT-style.
Best,
Filip
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
--
Vincent Barichard Université d'Angers (LERIA)
Tel: 02 41 73 52 06 Département Informatique
Fax: 02 41 73 50 73 H203
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
