Releasing FRODO version 2.14 (performance improvements)

CHANGES IN VERSION 2.14 SINCE VERSION 2.13.3

Major changes

  • Major performance improvement in the way DPOP's UTIL messages are implemented in JaCoP (performance issue reported by Chirag Vartak). UTIL lookups are now cheaper (constant instead of linear in the number of allowed tuples), resulting in multiple-times speedups - see chart below on graph coloring problems. 
  • Fixed a bug in the random graph coloring problem generator, following which the unary constraints (when tightness > 0) used an inconsistent color numbering convention (bug reported by Duc Thien Nguyen). 

Read more: Releasing FRODO version 2.14 (performance improvements)