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, CountVarCumulative, 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.