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
