News

Releasing FRODO version 2.15 (Max-Sum perturbations + non-omniscient controller)

Max-Sum now optionally introduces perturbations to the problem to improve solution quality.
The resulting empirical improvements are reported below on graph coloring and on meeting scheduling problems.
The distributed submode now support a non-omniscient controller, in which case the configuration files are fed directly to the daemons (support request #10 by Andrea).
The XCSPparser's main function can now split an overall problem into each agent's respective subproblem (support request #10 by Andrea).

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).