You can subscribe to this list here.
| 2010 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
(1) |
Sep
|
Oct
(1) |
Nov
(1) |
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2011 |
Jan
(1) |
Feb
(1) |
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
(1) |
Oct
(1) |
Nov
(1) |
Dec
(1) |
| 2012 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
(1) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
|
Dec
|
| 2014 |
Jan
|
Feb
|
Mar
|
Apr
(1) |
May
(1) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
|
Dec
(1) |
| 2015 |
Jan
|
Feb
(1) |
Mar
|
Apr
|
May
|
Jun
(1) |
Jul
|
Aug
(1) |
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2016 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2017 |
Jan
(1) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2018 |
Jan
|
Feb
(1) |
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2019 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2020 |
Jan
|
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2025 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: Thomas L. <tho...@us...> - 2025-07-24 19:47:11
|
Dear past & present FRODO users, It had been a while since the last update to FRODO <https://frodo-ai.tech/>, the Open-Source Framework for Distributed Constraint Optimization (DCOP)… But the software is still being maintained, and new releases such as this one can be triggered by users requests, which can be raised on Sourceforge <https://sourceforge.net/p/frodo2/_list/tickets>. A major overhaul is even actively being developed, which should eventually become Version 3.0, but more about this later. This version 2.19 <https://frodo-ai.tech/index.php/news/version-2-19-new-global-constraints-bugs> was triggered by a bug report from a new user, Valeria Amato, and also includes an upgrade to the JaCoP library, which comes with numerous new global constraints. Also in this release are preliminary changes to prepare for FRODO 3.0. Your feedback is always welcome. Best regards, Thomas Léauté https://frodo-ai.tech <https://frodo-ai.tech/> ********************** 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. |
|
From: Thomas L. <tho...@a3...> - 2020-04-07 00:44:43
|
Dear all, An important upgrade (version 2.18) to the FRODO platform has just been released, which is the culmination of several months of work to add API support for JaCoP's full constraint catalog. In addition to this functional feature enrichment, major runtime performance improvements <https://frodo-ai.tech/index.php/news/13-version-2-18> have been achieved for almost all algorithms, on multiple benchmark problem classes. User feedback is always welcome to prompt improvements to FRODO! Feel free to reach out by email or via SourceForge <https://sourceforge.net/projects/frodo2/support> if you need support or would like to make improvement suggestions. Best regards, Thomas Léauté https://frodo-ai.tech <https://frodo-ai.tech/> ******* CHANGES IN VERSION 2.18 SINCE VERSION 2.17.1 Major changes Added API support for JaCoP's full constraint catalog via the new JaCoPproblem class, using cloneable subclasses. Fixed a major memory leak in the JaCoP interface, which resulted in constraint checks having a complexity that was not constant, but rather linear in the number of past constraint checks. This bugfix has resulted in dramatic speedups on large problems: On meeting scheduling problems: up to 100x for ADOPT, ASO-DPOP and O-DPOP; 20x for MGM2; 10x for Max-Sum; 3x for DSA and MGM; On MaxDisCSPs: up to 100x for ADOPT and O-DPOP; 20x for ASO-DPOP and Max-Sum; 2x for SynchBB; On graph coloring: up to 20x for ASO-DPOP and O-DPOP, 2x for DSA, MGM and MGM2; 20% for SynchBB; XCSP parsers no longer implement DCOPProblemInterfaces; instead their new parse() method returns one that uses more efficient datastructures than XCSP. This has also resulted in speedups on small problems, on which the parsing overhead used to be significant: On meeting scheduling problems: up to 2.5x for DSA, MGM, DPOP and MB-DPOP; 2x for ADOPT, ASO-DPOP, O-DPOP and SynchBB; 1.5x for MGM2; On MaxDisCSPs: up to 4x for Max-Sum; 2x for AFB and SynchBB; On graph coloring: up to 2x for DPOP; Fixed missing re-encryptions in P2-DPOP. This bugfix has resulted in slowdowns on small problems for P2-DPOP: On meeting scheduling problems: up to 2x slowdown; On graph coloring: up to 35% slowdown; Fixed a conceptual bug in P3/2-DPOP, following which a DFS rerooting could be triggered while the DFS was still needed for SecureCircularRouting. This was fixed by having SecureCircularRouting keep using the initial DFS. No empirically measured performance impact. Scatter plots can now display different markers for different problem size parameter values. Fixed a bug in the XCSP parser when encountering infeasible constraints, which were incorrectly treated as feasible. Fixed a bug following which the communication performance metrics were not correctly summed up by message type. Fixed bugs in the counting of NCCCs (some constraint checks were skipped). Minor changes Fixed a bug in AbstractDCOPsolver, which used to override message types in the constructor rather than in the solve() method, resulting in interferences between solvers. Also added missing message type overrides that could result in interferences between solvers. Fixed bugs following which the SingleQueueAgent and the CentralLinearOrdering module would incorrectly make changes to the list of agents in the problem. Solved an inf-inf bug in MGM and MGM2. Fixed a bug when attempting to plot infinite values. Fixed a bug in the JaCoPutilSpace.iterator() methods, which could result in an "inf - inf" error on spaces with infeasible default utilities. Fixed a synchronization bug in the visualizer control panel that could make message types appear multiple times. Caught rare misleading "division by zero" exceptions that were due to integer overflows when attempting to create too large arrays. Fixed the (benign) NullPointerExceptions that used to be thrown when showing message exchanges along edges. Added constructors to the solvers that set the shift for the ProblemRescaler. Scatter plots can now display different markers for different problem size parameter values, to help identify and investigate corner cases. |
|
From: Thomas L. <tho...@a3...> - 2019-09-04 19:34:47
|
Dear all, A new version of FRODO has just been released, to address compilation errors in IntelliJ IDEA reported by a user. Version 2.17.1 also addresses a minor bug in the MGM2 solver. User feedback is always welcome to prompt improvements to FRODO! Feel free to reach out by email or via SourceForge <https://sourceforge.net/projects/frodo2/support> if you need support or would like to make improvement suggestions. Best regards, Thomas Léauté https://frodo-ai.tech <https://frodo-ai.tech/> ******* CHANGES IN VERSION 2.17.1 SINCE VERSION 2.17 Major changes: none Minor changes: Fixed various compilation errors raised by IntelliJ IDEA (reported by Li Lin of Chongqing University). Fixed a bug in the default agent configuration file used by the MGM2solver constructor. |
|
From: Thomas L. <tho...@a3...> - 2019-08-16 19:18:32
|
Dear all, After a relatively long period of limited developments, FRODO Version 2.17 has just been released. The most remarkable new feature of this release is the first version of a new dynamic GUI that graphically displays the messages exchanged between agents. Improvements have also been made to the experiments framework based on feature requests by FRODO users. Please do not hesitate to get in touch with us if you have any questions, or any further improvement suggestions, which we will gladly consider. Best regards, Thomas Léauté https://frodo-ai.tech <https://frodo-ai.tech/> ********** CHANGES IN VERSION 2.17 SINCE VERSION 2.16.1 Major changes First version of a new, dynamic GUI <https://manual.frodo-ai.tech/FRODO_User_Manual.html#x1-210004.3.1> that allows users to graphically and step-wise visualize the messages exchanged between agents. FRODO can now write the solution to an output file (old, outstanding request by Dimitrios Athanasiadis). The experiment framework now supports running experiments based on an input repository of problem instances <https://manual.frodo-ai.tech/FRODO_User_Manual.html#x1-300004.6.1> (improvement request by Ruofei Bai <https://sourceforge.net/p/frodo2/discussion/1174600/thread/7b2079d191>). The experiment framework now supports saving all generated problem instances to files <https://manual.frodo-ai.tech/FRODO_User_Manual.html#x1-300004.6.1>. FRODO's JAR filename now includes the version number. FRODO is now distributed with its 3rd-party JAR dependencies. Message types are now hierarchical, grouped by algorithm modules. This has incurred a change of agent configuration formatting for overriding message types <https://manual.frodo-ai.tech/FRODO_User_Manual.html#x1-380005.1>. Introduced a SolutionCollector to which all algorithms report their solutions found <https://manual.frodo-ai.tech/FRODO_User_Manual.html#x1-450005.2.2>. Minor changes Fixed a NullPointerException in MPC-DisCSP4 on single-agent infeasible problem instances. Fixed bugs in the overriding of message types. Fixed a bug in the MessageDebugger, which was displaying some system messages even when hideSystemMessages = true. Fixed various bugs in the unit tests. The random problem generators <https://manual.frodo-ai.tech/FRODO_User_Manual.html#x1-66000B> now produce agent and variable names starting with a letter to comply with the XCSP format. Fixed typos in the user manual in the XCSP sample for the Cumulative global constraint (reported by Ruofei Bai <https://sourceforge.net/p/frodo2/discussion/1174600/thread/7b2079d191/?limit=25#3b2c>). |
|
From: <tho...@a3...> - 2018-07-16 17:19:10
|
Here is an agreement of your's fee. Use the link to download doc. http://oetsiekoetsie.nl/Jul2018/US_us/FILE/Invoice-841091 FRODO Mailing list Thank you, |
|
From: Thomas L. <tho...@a3...> - 2018-02-21 22:26:58
|
Dear all, The first new version of FRODO for 2018 has just been released. Version 2.16 includes extended support for the two privacy-preserving algorithms P2-DPOP and MPC-DisWCSP4 (based on a user request), as well as a synchronous implementation of Max-Sum (previously, FRODO only provided an asynchronous implementation of Max-Sum). Preliminary experimental results show that the asynchronous implementation systematically outperforms the synchronous variant. These results are available on the FRODO website: https://frodo-ai.tech/index.php/news/9-releasing-frodo-version-2-16-synchronous-max-sum Please do not hesitate to get in touch with us if you have any questions, or any further improvement suggestions, which we will gladly consider. Best regards, Thomas Léauté https://frodo-ai.tech <https://frodo-ai.tech/> *************** CHANGES IN VERSION 2.16 SINCE VERSION 2.15.2 Major changes: - P2-DPOP & MPC-DisWCSP4 now support maximization problems and problems with negative costs/utilities (request by Sankarshan Damle). - Max-Sum now supports synchronous, round-based execution (in addition to asynchronous execution). Preliminary experimental results show that the asynchronous version outperforms the synchronous version on all performance metrics. See https://frodo-ai.tech/index.php/news/9-releasing-frodo-version-2-16-synchronous-max-sum Minor changes: - Fixed a NumberFormatException in P-DPOP and P3/2-DPOP (reported by Sankarshan Damle), which now only support AddableBigInteger utilities. - The CATS parser now reports an error when more dummy goods are encountered than announced (issue reported by Sankarshan Damle). - The JaCoPxcspParser now truncates decimal values to integers instead of throwing a NumberFormatException (issue reported by Sankarshan Damle). - Fixed a bug in Max-Sum following which messages were skipped instead of delayed if received before the factor graph message. - Fixed a bug in the factor graph DOT representation: names of function nodes and variable nodes could clash. - Fixed serialization bugs in MPC-Dis[W]CSP4, which did not work with TCP pipes. - Fixed a bug following which P3/2-DPOP would not assign any value to any variable on infeasible problems. - Fixed a bug following which using AddableBigInteger for utilities/costs resulted in algorithms reporting very large instead of infinite utilities/costs on infeasible problems. - Added warnings about truncations when attempting to parse decimal values from XCSP into integers. - Added asserts to check for integer overflows in AddableInteger. |
|
From: Thomas L. <tho...@a3...> - 2017-08-15 23:54:03
|
Dear all, Following a user request, a new version of FRODO has just been released (Version 2.15.1), which now supports SATS (the Spectrum Auctions Test Suite - http://spectrumauctions.org) as an input to FRODO's Auctions and Resource Allocation Problem benchmark generator: https://manual.frodo-ai.tech/FRODO_User_Manual.html#x1-69000B.4 Please do not hesitate to get in touch with us if you have any questions, or any further improvement suggestions, which we will gladly consider. Best regards, Thomas Léauté https://frodo-ai.tech *************** CHANGES IN VERSION 2.15.1 SINCE VERSION 2.15 Major changes: - Improved the CATS parser to support SATS (http://spectrumauctions.org) outputs (request by Sankarshan Damle). Minor changes: - Fixed bugs in MGM & MGM2 following which, when measuring convergence, more data points than necessary were collected. - Minor code cleanups. |
|
From: Thomas L. <tho...@a3...> - 2017-01-06 01:22:37
|
Dear all, To celebrate the new year, and following a user support request on how to deploy FRODO in the real world without an omniscient controller that knows the whole problem and extracts each agent's subproblem from it, a new version of FRODO (Version 2.15) has just been released, as described in the following article on the (new) FRODO website: https://frodo-ai.tech/index.php/news/6-version-2-15 The most noticeable changes affect FRODO's distributed submode, which now supports non-omniscient controllers, and include an improvement to the Max-Sum algorithm, which now optionally introduces random perturbations to the problem to break symmetries and improve solution quality. Experimental results on graph coloring and meeting scheduling are reported in the above article on the FRODO website. This release also includes a number of other, more minor changes, as listed in the release notes below. Please do not hesitate to get in touch with us if you have any questions, or any further improvement suggestions, which we will gladly consider. Best regards, and all the best for 2017, Thomas Léauté https://frodo-ai.tech *************** CHANGES IN VERSION 2.15 SINCE VERSION 2.14 Major changes: - MaxSum now optionally introduces perturbations to the problem to improve solution quality. - 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). Minor changes: - FRODO's website is now hosted at https://frodo-ai.tech. FRODO's SourceForge project site is still used to distribute binaries, and to host the public SVN repository, the ticketing system, and the mailing list. - The CSV files produced by the benchmarking scripts now use semicolons rather than tabs as separators. - It is now possible to control whether the y axis in benchmarking result graphs should use natural or log scale. - Further improvements to the way benchmarking result graphs are plotted. - Various minor improvements to the Controller and Daemon consoles in the advanced mode. - The name of the agent is now saved in its XCSP subproblem as an attribute "self" of the <agents> tag. - StatsReporter modules now truly only report statistics when reportStats = true in the agent configuration file. - Fixed a bug in resetting the stats gatherers between consecutive experiments in advanced mode. - Fixed a bug in the way Max-Sum displays the solution. - Added performance regression tests for meeting scheduling problems. |
|
From: Thomas L. <tho...@a3...> - 2016-09-16 22:09:17
|
Dear all, A new version of FRODO has just been released (version 2.14), in which an important source of inefficiency in the implementation of the DPOP algorithm has been fixed. Experimental results on random graph coloring problems indicate speed-ups by several times on medium-sized problem instances. You can find these experimental results in the article announcing the release on the FRODO website: http://frodo2.sourceforge.net/index.php/news/6-version-2-14 This release also includes a batch of lower-priority issues and requests for improvements reported by multiple users over the past six months. These are listed in the article above and in the release notes below. As usual, do not hesitate to reach out to us via the SourceForge website if you have any questions or feedback. Best regards, Thomas Léauté http://frodo2.sourceforge.net <http://frodo2.sourceforge.net/> *************** 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. - 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). Minor changes: - DUCT now reports the cost/utility of the solution it returns. - In distributed submode, daemons now report which agents they own (request by Roger Tang). - Improvements to the error messages that could be thrown in advanced mode (support request by Roger Tang). - The XCSP parser now checks for unique constraint names when asserts are enabled (reported by Dipankar Niranjan). - User manual: fixed a few mistakes about Multi-Agent Systems (following a request for support by Partha Protim Mondal). - User manual: added information about the distributed submode (request by Roger Tang). |
|
From: Thomas L. <tho...@a3...> - 2016-03-20 10:04:21
|
Dear all, After a minor bug was reported by a user, we have just released a new version of the FRODO platform (now in version 2.13.3). Besides this minor bugfix, the dependency on the JaCoP Constraint Programming solver library has also been upgraded to JaCoP version 4.4.0. If you use JaCoP (to have FRODO support intensional constraints), you will need to download the JaCoP JAR file from its official website, and save it in FRODO's lib/ folder. As usual, do not hesitate to reach out to us via the SourceForge website if you have any questions or feedback. Best regards, Thomas Léauté http://frodo2.sourceforge.net <http://frodo2.sourceforge.net/> *************** CHANGES IN VERSION 2.13.3 SINCE VERSION 2.13.2 Major changes: - Upgraded to JaCoP version 4.4.0; the new JAR file must be manually downloaded from the JaCoP website (http://jacop.osolpro.com) and put in FRODO's lib folder. Minor changes: - Fixed a too strict assert checking for integer overflows in the JaCoP XCSP parser (bug reported by Dimitrios Athanasiadis). |
|
From: Thomas L. <tho...@a3...> - 2015-09-14 23:28:30
|
Dear all, We have just released a minor update to the FRODO platform, now in Version 2.13.2. Until now, if you wanted to print out the messages exchanged by the agents (for instance for debugging purposes), you had to add System.out.println() statements in the FRODO source code and recompile, which was inconvenient. In this new version, we have added at the end of each agent configuration file a new message listener (disabled by default) that can be used to print out all the messages received and sent by each agent. http://thomas.leaute.name/frodo/manual/FRODO_User_Manual.html#x1-330004.7 We hope that you will find this new feature convenient, and welcome you feedback on the FRODO platform via our SourceForge website. Best regards, Thomas Léauté http://frodo2.sourceforge.net <http://frodo2.sourceforge.net/> *************** CHANGES IN VERSION 2.13.2 SINCE VERSION 2.13.1 Major changes: none Minor changes: FRODO can now print out all messages exchanged; see Section 4.7 in the user manual (request by Dimitrios Athanasiadis). |
|
From: Thomas L. <tho...@a3...> - 2015-08-02 15:10:54
|
Dear all, After an important bug in the implementation of AFB was reported by a user (thanks a lot, Yang Xiaolei!), we are releasing a new version of the FRODO platform, now in version 2.13.1. The bug in question would result in AFB not backtracking as early as it could/should; fixing this bug has therefore resulted in important performance improvements. Attached is a sample scatter plot of the simulated time of the new AFB implementation against the old (from FRODO version 2.13), on MaxDisCSP instances of 10 variables, with a density of p1 = 0.4, and a variable tightness p2 = 0.4 … 0.99. For more experimental results of our performance regression tests, you can refer to the article on the FRODO website announcing the release: http://frodo2.sourceforge.net/index.php/news/14-frodo-2-13-1-afb-performance-improvements Another important change in FRODO version 2.13.1 worth mentioning is that the dependency on JaCoP has been upgraded to JaCoP version 4.3.0. You will need to download the corresponding JaCoP JAR file and save it in FRODO's lib/ folder: http://jacop.osolpro.com As usual, do not hesitate to reach to us via the FRODO SourceForge website if you have any questions on how to use FRODO, for instance by raising a new support request: http://sourceforge.net/p/frodo2/support-requests/ Best regards, Thomas Léauté http://frodo2.sourceforge.net <http://frodo2.sourceforge.net/> ************** CHANGES IN VERSION 2.13.1 SINCE VERSION 2.13 Major changes Upgraded to JaCoP version 4.3.0; the new JAR file must be manually downloaded from the JaCoP website and put in FRODO's lib folder. Fixed a bug in AFB, following which the algorithm was not backtracking as early as it should (reported by Yang Xiaolei). This results in up to 25% median performance improvements on graph coloring problems (19 nodes, density 0.4, 3 colors), and up to 50 % median performance improvements on tight MaxDisCSPs (10 variables, p1 = 0.4, p2 = 0.9) — see the graphs in the article on the FRODO website: http://frodo2.sourceforge.net/index.php/news/14-frodo-2-13-1-afb-performance-improvements Minor changes Now supports scatter plots in natural scale in addition to log/log scale. Fixed a resource leak in the TCP communication layer (sockets were not being closed after use). |
|
From: Thomas L. <tho...@a3...> - 2015-06-14 14:31:49
|
Dear all, Following a user request, a new version of FRODO has just been released (version 2.13), which includes Brammert Ottens' reference implementation of the DUCT algorithm (Ottens, Dimitrakakis and Faltings, AAAI'12). As always, feel free to contact us on FRODO's SourceForge website if you have any questions or feedback. Best regards, Thomas Léauté On behalf of the FRODO development team http://frodo2.sourceforge.net <http://frodo2.sourceforge.net/> ******************* CHANGES IN VERSION 2.13 SINCE VERSION 2.12.1 Major changes: - Added support for the DUCT algorithm (Ottens, Dimitrakakis and Faltings, AAAI'12) (request by Yang Xiaolei). - FRODO is now compiled for Java 8, since Java 7 has reached end of life. - The HTML documentation for the FRODO API is now available at http://thomas.leaute.name/frodo/api/ <http://thomas.leaute.name/frodo/api/> (based on input from Xie Yi). Minor changes: - Improved the text of an assert error message in the JaCoP XCSP parser (based on input from Dimitrios Athanasiadis). - Minor improvement to the Hypercube constructor documentation (based on input from Xie Yi). |
|
From: Thomas L. <tho...@a3...> - 2015-02-24 02:26:50
|
Dear all, This is a short email to notify you of the a new, minor release to the FRODO framework, now in Version 2.12.1. This newest version now provides XCSP support for the Element global constraint. It also makes use of updated 3rd-party libraries. Best regards, Thomas Léauté http://frodo2.sourceforge.net <http://frodo2.sourceforge.net/> ***************** CHANGES IN VERSION 2.12.1 SINCE VERSION 2.12 Major changes: - Added XCSP support for the Element global constraint. - Upgraded JDOM to version 2.0.6, JaCoP to version 4.2.0, and OR-Objects to version 3.0.3. The new JAR files must be manually downloaded from the corresponding websites and put in FRODO's lib folder. Minor changes: - Improved the robustness of the JaCoP XCSP parser to whitespaces, newlines, and minus signs. - The XCSP schema no longer supports positive constants starting with a + sign; positive constants must now be signless. |
|
From: Thomas L. <tho...@a3...> - 2014-12-06 23:04:27
|
Dear all, Today marks a new release of the FRODO platform, now in version 2.12. This new version does not include a large list of changes, but the first of these changes (listed below) has a major impact on performance when FRODO is coupled to JaCoP: more than four-fold speedups have been observed for AFB on medium-sized random Max-DisCSP instances, and up to 5-fold speedups for DPOP. Much higher speedups (up to two orders of magnitude!) have been observed with DPOP on problems with complex, local sub-problems. These performance improvements have been obtained by improving the variable ordering heuristic used internally when calling JaCoP. Best regards, Thomas Léauté http://frodo2.sourceforge.net <http://frodo2.sourceforge.net/> ***************** CHANGES IN VERSION 2.12 SINCE VERSION 2.11.3 Major changes • Significant performance improvements to the interface with JaCoP: • 1.5x speedups for AFB and 2x speedups for DPOP on medium-sized graph coloring problems; • 4.5x speedups for AFB and 5x speedups for DPOP on medium-sized, high-tightness, random Max-DisCSPs; • much higher speedups can be expected on problem domains with complex, local subproblems. • The FRODO GUI now lists JaCoP-based agents again (bug 51, reported by Dimitrios Athanasiadis, from University of Strathclyde). Minor changes • Improved the robustness of the JaCoP-based XCSP parser to tabs and line breaks in predicates. • Improved several error messages to make them more explicit. |
|
From: Thomas L. <tho...@a3...> - 2014-10-01 21:58:28
|
Dear all, Recent requests from FRODO users have prompted the release of this new version of the framework (version 2.11.3). One noticeable change is that this latest version now also requires the latest version of the JaCoP solver (jacop-4.1.0.jar), which must be downloaded manually and saved into FRODO’s lib/ folder. Another interesting new feature of FRODO 2.11.3 is that it can now report the number of messages and amount of information sent and received by each agent. Best regards, Thomas Léauté http://frodo2.sourceforge.net <http://frodo2.sourceforge.net/> ************** CHANGES IN VERSION 2.11.3 SINCE VERSION 2.11.2 Major changes: - Upgraded to JaCoP version 4.1.0; the new JAR file must be manually downloaded from the JaCoP website and put in FRODO's lib folder. - FRODO now reports the number and total size of messages sent and received by each agent (request by Shijie Li from TU Delft). - Fixed a bug following which too many heuristic score messages were exchanged by the DFSgenerationParallel module (reported by Yang Xiaolei). Minor changes: - Fixed a bug in the XCSP parser when a constraint scope had trailing spaces (reported by Dimitrios Athanasiadis, University of Strathclyde). - Added an assert in the parser to catch references to non-defined variables (reported by Dimitrios Athanasiadis, University of Strathclyde). - Deleted a few duplicate Solution classes and replaced them with the new class SolutionWithConvergence |
|
From: Thomas L. <tho...@a3...> - 2014-05-04 13:12:32
|
Dear all, Here is an incremental update to the FRODO platform, now in version 2.11.2. The most noticeable change is that the dependency to the JaCoP solver has been upgraded to version 4.0.0, which means you will have to manually download the latest JaCoP JAR file and save it in FRODO’s lib/ folder. Version 2.11.2 also introduces XCSP support for the Cumulative global constraint, further extending the expressivity of the XCSP subset supported by FRODO. Best regards, Thomas Léauté On behalf of the FRODO development team http://frodo2.sourceforge.net ****************** CHANGES IN VERSION 2.11.2 SINCE VERSION 2.11.1 Major changes: • Upgraded to JaCoP version 4.0.0; the new JAR file must be manually downloaded from the JaCoP website and put in FRODO's lib folder. • Added support for the Cumulative global constraint (request by Shijie Li from TU Delft). Minor changes: • The Python experiment framework now displays the Java errors when launched from Enthought Canopy (bug 50 by costa). • The Python experiment framework now exits more gracefully when the results files are not found or are empty. |
|
From: Thomas L. <tho...@a3...> - 2014-04-05 01:22:52
|
Dear all, After several users have contacted us and made suggestions for improvements on our SourceForge website (https://sourceforge.net/projects/frodo2/), we have just released a new version of the FRODO platform (version 2.11.1) that includes these improvements, and more. The full details of what is new in this version can be found below. The two most important changes are the newly added support for the diff2 global constraint, and a performance fix that affects mostly DPOP (and also Max-Sum to a lower extent). As always, we welcome your feedback and would be glad to support you in using FRODO for your research. Best regards, Thomas Léauté On behalf of the FRODO development team http://frodo2.sourceforge.net ***************** CHANGES IN VERSION 2.11.1 SINCE VERSION 2.11 Major changes: • Added XCSP support for the diff2 global constraint. • Fixed an discrepancy between the computation steps performed before serializing a JaCoP-based solution space and the steps performed by the method that simulates serialization when the agents are running in the same JVM. This used to result in FRODO reporting optimistic runtime measurements for (MB-)DPOP and MaxSum when using JaCoP. See graphs there: http://frodo2.sourceforge.net/index.php/news/8-releasing-frodo-version-2-11-1-diff2-global-constraint-performance-fix Minor changes: • Reduced the memory footprint of JaCoPutilSpace.resolve() (support request 6 by Denise). This affects DPOPagentJaCoP. • Fixed a bug that made it harder to specify which MaxSum agent controls which function node (bug 49 by Dimitrios Athanasiadis). • The XCSPparser now prints a warning on undefined relations corresponding to existing predicates or functions (support request 3 by Reza). • The XCSPparser now prints a warning on relations of unsupported semantics (discussion with Teo). • In the Python experiments framework, different Java parameters can now be passed for each algorithm. • Python experiments can now display graphs with different performance metrics simultaneously. • Added performance regression tests for graph coloring and MaxDisCSP. • Added the agent configuration file CountAgentJaCoP.xml in algorithms.dpop.count. Apologies for the spam footer that I expect SourceForge will automatically append below. |
|
From: Thomas L. <tho...@a3...> - 2013-10-24 18:42:47
|
Dear all, It has been almost a year and a half since the release of the previous version of the FRODO platform, but active development and support have been quietly but surely continuing, and today I am very excited to release version 2.11, which includes some of what has been developed during this long time period. As usual, you can find the details of what has changed at the bottom of this email, but the most remarkable change is the introduction of a new, clean and standardized way of running experiments using Python. You can find detailed explanations of how and why to use this new feature in the user manual: http://thomas.leaute.name/frodo/manual/FRODO_User_Manual.html#x1-260004.6 Notice also that the 3rd-party JDOM library has been updated to version 2.0.5; you will have to download this latest version from the JDOM website. http://www.jdom.org If you have any questions or suggestions for improvement, we always warmly welcome your feedback via the SourceForge website. http://sourceforge.net/p/frodo2/_list/tickets?source=navbar Best regards, Thomas Léauté On behalf of the FRODO development team http://frodo2.sourceforge.net/ ******************** CHANGES IN VERSION 2.11 SINCE VERSION 2.10.5 Major changes: - Upgraded to JDOM version 2.0.5; the file jdom-2.0.5.jar must be manually downloaded from the JDOM website and saved in FRODO's lib folder. - Renamed FRODO's package from ch.epfl.lia.frodo to just frodo2. - Added support for a standardized way of running experiments using Python scripts. - Added new performance metrics reporting the size of the largest message. - Important performance improvements to the interface with JaCoP through the introduction of sparse solution iterators. - AFB now supports intensional constraints using JaCoP and sparse solution iterators. Minor changes: - Added tightness as an input to the graph coloring problem generator. This means agents can now have a priori availability schedules. - Extended the XCSP format to include statistics about the problem instance. - Multiple performance improvements to E[DPOP]. - Fixed a rare NullPointedException in O-DPOP. - Other minor bug fixes. - The URL of the SVN code repository has changed; new instructions can be found at http://sourceforge.net/p/frodo2/code/HEAD/tree/trunk/ |
|
From: Thomas L. <tho...@us...> - 2012-05-30 06:12:42
|
Dear all, Here is a short email to announce the official release of version 2.10.5 of the FRODO platform. This is a minor update, including a few bug fixes and improvements (see full list below). Still, I would like to raise your attention to the fact that the JDOM and JaCoP third-party libraries have been updated to their respective latest versions (2.0.1 and 3.2 respectively), and that you need to download these newest JAR files and put them in FRODO's lib/ folder. Please do not hesitate to contact us for questions and/or suggestions of improvement, preferably via FRODO's SourceForge project website: http://sourceforge.net/projects/frodo2/ Also, notice that FRODO's main website has been completely revamped and has changed URL: http://frodo2.sourceforge.net/ Best regards, Thomas Léauté On behalf of the FRODO development team http://frodo2.sourceforge.net/ http://sourceforge.net/projects/frodo2/ ************************** CHANGES IN VERSION 2.10.5 SINCE VERSION 2.10.4 Major changes: - Upgraded to JDOM version 2.0.1; the new JAR file must be manually downloaded from the JDOM website and put in FRODO's lib folder. - Upgraded to JaCoP version 3.2; the new JAR file must be manually downloaded from the JaCoP website and put in FRODO's lib folder. - When simulated time is enabled, the timeout is now specified in simulated time rather than wall clock time. Minor changes: - Fixed multiple bugs with multi-space separators in the XCSP parsers (bug 3528897 reported by Samuele Granata). - Addressed a rare bug in distributed mode (bug 3515517 reported by Alessandro Bellemo). - Max-Sum now always rescales messages, but ignores infinite entries (improvement suggested by Ruben Stranders). - Max-Sum: when they have exhausted their numbers of iterations, variable nodes now keep updating and reporting their optimal values. - Max-Sum: fixed a bug following which function nodes were counting twice each iteration. - Extended E[DPOP] to support other utilities than AddableReal. - Performance improvements to the JUnit tests by removing busy waits. - Minor refactoring in the Solution Spaces layer. - Other minor bugfixes. |
|
From: Thomas L. <tho...@ep...> - 2012-03-14 18:59:07
|
Dear all, After a number of new users have recently started reporting various bugs and feature requests on the SourceForge website, we are officially releasing a new version of FRODO (2.10.4) that mainly addresses these reports. Notice that JDOM has also been upgraded to version 1.1.3; you need to download the new JAR from the JDOM website and put it in FRODO's lib folder. As usual, do not hesitate to contact us if you have questions about the platform. Best regards, Thomas Léauté On behalf of the FRODO development team http://liawww.epfl.ch/frodo/ http://sourceforge.net/projects/frodo2/ ************************** CHANGES IN VERSION 2.10.4 SINCE VERSION 2.10.3 Major changes: - Upgraded to JDOM version 1.1.3; the new JAR file must be manually downloaded from the JDOM website and put in FRODO's lib folder. - The problem's constraints are now parsed by the variable ordering modules instead of the actual algorithms. - Performance improvements to the interface with JaCoP (including support request 3472314 by Karol Stosiek). Minor changes: - It is now possible to use solvers in distributed mode (feature request 3466481 by Karol Stosiek). - Fixed a ClassCastException in JaCoPutilSpace that resulted from using IntervalDomains instead of IntDomains (bug 3464441 reported by Alessandro Bellemo). - Fixed a ClassCastException in MGM and MGM-2 when measuring message sizes (bug 3489966 reported by Alessandro Bellemo). - The XCSPparser now checks the correctness of the XCSP relation attribute "nbValues" when asserts are enabled (see bug report 3480548 by Alessandro Bellemo). - Max-Sum now uses a new, separate module to generate its factor graph. - Fixed a bug following which SynchBB was sending more information than necessary. - Dropped the support for the SimpleSubsolver. - Various other bug fixes and minor changes. |
|
From: Thomas L. <tho...@ep...> - 2011-12-22 13:10:58
|
Dear all, Here is a short email to announce the release of a minor revision of FRODO (now in version 2.10.3), mostly addressing a certain number of recently discovered bugs. We would also like to seize the opportunity to wish you nice end-of-year celebrations, and all the best for 2012. Best regards, Thomas Léauté On behalf of the FRODO development team http://liawww.epfl.ch/frodo/ http://sourceforge.net/projects/frodo2/ ************************** CHANGES IN VERSION 2.10.3 SINCE VERSION 2.10.2 Minor changes: - Fixed multiple bugs in the parsing of XCSP predicates (including bugs 3459564 and 3458962 reported by Karol Stosiek). - Fixed multiple message externalization issues (including bug 3458272 reported by Karol Stosiek). - Fixed a bug in the advanced, distributed mode (bug 3458247 reported by Karol Stosiek). - Added support for Max-Sum's "private variables, private constraints" convention (request by Sokratis Vavilis). - MaxSum is now by default initialized with random messages (request by Sokratis Vavilis). - In advanced, distributed mode, the daemon port number is now customizable (request 3459316 by Karol Stosiek). - The advanced mode now automatically overrides the "measureTime" attribute in the agent configuration file (see discussion of bug 3458247). - Added the two methods timeOut() and outOfMem() to all solvers. - Made some clarifications to the User Manual. |
|
From: Thomas L. <tho...@ep...> - 2011-10-25 07:02:48
|
Dear all, This is just a quick email to announce the release of a minor update to FRODO, now in version 2.10.1, mainly to address a bug in ADOPT. Also, JDOM has been upgraded to version 1.1.2, which means you need to download jdom-1.1.2.jar from the JDOM website and put it in FRODO's lib folder to replace the obsolete jdom.jar. Best regards, Thomas Léauté On behalf of the FRODO development team http://liawww.epfl.ch/frodo/ http://sourceforge.net/projects/frodo2/ ************************ CHANGES IN VERSION 2.10.1 SINCE VERSION 2.10 Minor changes: - Fixed a ClassCastException in ADOPT (bug 3427688 reported by Fredrik Heintz). - Updated the User Manual with descriptions of how to use the XCSP format to express StochDCOP instances (request by Julian Qiu). - Changes to the output of the DFSgeneration module. - Upgraded to the freshly released version 1.1.2 of JDOM. |
|
From: Thomas L. <tho...@ep...> - 2011-09-13 13:13:46
|
Dear all, It is my pleasure to announce the official release of version 2.10 of the FRODO platform, in which we have added a number of DCOP algorithm implementations, only two of which I am going to mention here (the full list of changes is appended below). First and foremost, we would like to warmly thank Sokratis Vavilis and Prof. George Vouros, from the AI-Lab of the University of the Aegean, for contributing an implementation of the Max-Sum algorithm by Farinelli et al. (AAMAS'08). We have also internally implemented the MB-DPOP algorithm (Petcu and Faltings, IJCAI'07), the memory-bounded version of DPOP. From the point of view of benchmarks, we have enriched FRODO with three new random problem generators, for the classes of distributed graph coloring, Max-DisCSP, and distributed meeting scheduling. Please to not hesitate to get in touch with us via SourceForge (http://sourceforge.net/projects/frodo2/) or directly by email if you have questions or suggestions. Best regards, Thomas Léauté On behalf of the FRODO development team http://liawww.epfl.ch/frodo/ ***************** CHANGES IN VERSION 2.10 SINCE VERSION 2.9 Major changes: - Added an implementation of Max-Sum (Farinelli et al., AAMAS'08), based on a contribution by Sokratis Vavilis and Prof. George Vouros. - Added an implementation of MB-DPOP (Petcu and Faltings, IJCAI'07) (request by NGUYEN Duc Thien). - Added a convenient algorithm that counts the number of optimal solutions (in the algorithms.dpop.count package). - Added new variants to E[DPOP] (Leaute & Faltings, AAAI'11). - Added three new problem generators for graph coloring, Max-DisCSP, and meeting scheduling (request 3024777). Minor changes: - When simulated time is enabled, agents are now notified if they are all idle using a message of type AgentInterface.ALL_AGENTS_IDLE. - Multiple improvements to the solution spaces layer. - Multiple bug fixes and improvements to E[DPOP]. - Minor other bug fixes. |
|
From: Thomas L. <tho...@ep...> - 2011-07-08 21:44:48
|
Dear all, We are very excited to officially release a new, major update to the FRODO platform, now in version 2.9. This version includes three new algorithm implementations: AFB (Gershman, Meisels and Zivan, ECAI'06), MGM2 (Maheswaran, Pearce and Tambe, ISCA PDCS'04), and MPC-DisCSP4 (Silaghi, FLAIRS'05). Another interesting development is a minor change to FRODO's XCSP format, in order to make it compatible with the XDisCSP format used in the recently released DisCHOCO 2 platform (http://www.lirmm.fr/coconut/dischoco/). This means it is now possible to use DisCHOCO to generate benchmarks for FRODO. Currently, DisCHOCO supports the following benchmark classes: Max-DisCSP, graph coloring, meeting scheduling, sensor networks, and n-queens. The detailed list of changes follows. As usual, you are very welcome to get in touch with us (for instance, through our SourceForge page at https://sourceforge.net/projects/frodo2/) if you have questions about this release. Best regards, Thomas Léauté On behalf of the FRODO development team http://liawww.epfl.ch/frodo/ ******************* CHANGES IN VERSION 2.9 SINCE VERSION 2.8 Major changes: - Now supports the AFB algorithm by Gershman, Meisels and Zivan (ECAI'06) (request 3187977, internal contribution by Alexandra Olteanu). - Now supports the MGM2 algorithm by Maheswaran, Pearce and Tambe (ISCA PDCS'04). - Now supports the MPC-DisCSP4 algorithm by Silaghi (FLAIRS'05). - Slightly changed the XCSP file format to make it compatible with the XDisCSP format used by DisCHOCO 2. This means it is now possible to use DisCHOCO 2 as a benchmark generator for FRODO (request 3024777). The changes are the following: - "owner" attributes have been renamed "agent"; - the list of agents is now explicitly declared in a new <agents> element. - Added support for JaCoP to P*-DPOP. - P*-DPOP's "mergeBack" parameter is now set to false by default, which increases privacy but decreases performance. - Introduced a new "MPC mode" to the XCSPparser, in which variables are public, and constraints may be private (or public). - Important performance improvements to MPC-DisWCSP4 when using JaCoP. Minor changes: - Fixed a rare termination failure in SynchBB (bug 3299801). - Fixed multiple bugs in the counting of NCCCs. - Various improvements and bugfixes to DSA and MGM. - Improvements and bugfixes to the interface with JaCoP. - Fixed the overriding of statistics messages. - Fixed a NullPointerException in the VRP benchmark generator when no radius was specified. - The ProblemRescaler now sets its shift to 0 by default. - Code refactoring as a first step towards enabling algorithms to reason about clusters of variables. - Now prints out a warning when asserts are enabled, since they can slow down the algorithms. - The parameter "publicAgents" is not an attribute of the parser instead of the agent. - Changed the required behavior of UtilitySolutionSpace.Iterator.nextUtility(U, boolean). - Other minor changes. |
