-
Details
-
CHANGES IN VERSION 2.19 SINCE VERSION 2.18.1
Major changes:
- Upgraded JaCoP to Version 4.10.0, with the following changes:
- Newly introduced constraints: AllEqual, ChannelImply, ChannelReif, Conditional, CountBounds, CountValues, CountVar, Cumulative, CumulativeOptional, CumulativePrimary, CumulativeUnaryOptional, Decreasing, Increasing, SeqPrecedeChain;
- The following constraints are now decomposable: Arithmetic, Lex, Sequence, SoftAllDifferent, SoftGCC, Stretch;
- Removed constraints: Channel, XplusYplusCeqZ, XplusYplusQeqZ, XplusYplusQgtC;
- Upgraded JDOM to Version 2.0.6.1.
- The leader election algorithm now supports parameterizable heuristics.
- Added partial support for new performance metrics: number of synchronous rounds, average valuation during convergence.
- Syntax change in the Python run() method: algorithms can now be parameterized.
Minor changes:
- Changed the default number of cycles for DSA, MGM and MGM-2 to 100.
- Fixed bugs in the following JaCoP constraints: AmongVar, ExtensionalSupportSTR, GCC, LinearInt (bug reported by Valeria Amato), LinearIntDom.
- Other minor bug fixes.