[gecode-users] FloatVars for 2.2.0 update

[Filip Konvička]

Dear all,

Here is yet another update of FloatVars for Gecode 2.2.0. This fixes 
many bugs and you are advised to use this version instead of the 
previous ones.

In case that you already have a patched Gecode 2.2.0 from a previous 
version, you may safely re-use that.


Changelog (2008-10-13)

- Major speedup in linear constraints (using FPU state saver now).
- Fixed boolean argument passing for reified constraints.
- Fixed negative scale views' min/max functions.
- Fixed arithmetic propagator implementation of * and /.
- Fixed reified linear constraint entailment detection.

Changelog (2008-09-02):

- Fixed binary arithmetic operator ('min' and 'max' operators)
- Added a patch for Gecode 2.2.0.

Changelog (2008-08-27):

- Basic support for reflection and serialization. This has not been
tested at all!
- Assignment branching was added. See Gecode::Float::Assign_minmax().
- Some cleanup and small fixes here and there.


Cheers,
Filip
-------------- next part --------------
A non-text attachment was scrubbed...
Name: floatvar-20081013.zip
Type: application/zip
Size: 55539 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20081013/13866010/attachment.zip>