> I am also interested in implementing FloatVars. I already built a solver > which > works on floating variables using the MPFR library (http://www.mpfr.org/). I > designed some propagators > (+,-,*,/,max,min,cos,acos,sin,atan,asin,exp,log,sqr,sqrt) which work quite > well on my benchmarks. > I came to GeCode recently because of all the work done for the integer and > set > variables, but I will be glad to share my code with anyone who is interested > in implementing FloatVars in GeCode.
MPFR is nice, but unfortunately it is licensed under LGPL, which I'm trying to avoid. I think that for my purposes Boost.Intervals operating on 'double' should be sufficient. But let's not waste effort on implementing FloatVar twice! I have limited time for all this myself, but with the help of my colleagues I think we can try to do some initial sketch implementation, while we'll try to make the domain implementation part parametrized, so we can switch between Boost.Interval, MPFR, CUDA :-D or whatever. Personally, I am all for contributing and sharing code. From our company's point of view, however, we must be sure that we can actually benefit from that - and basing our work on LGPL code is more risky (and uncomfortable) for us. That's why I prefer the MIT-style licenses. Cheers, Filip _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
