DisChoco 2.0

DisChoco is a Java library platform for solving Distributed Constraints Reasoning (DCR) problems developed by Redouane Ezzahir and Mohamed Wahbi. The new version 2.0 of DisChoco responds several requirements of quality:

  • It is reliable and modular;
  • It is easy to personalize and to extend;
  • It is independent from the communication system;
  • It allows a deployment in a real distributed system;
  • It allows a simulation on a single Java Virtual Machine.

DisChoco is not a distributed version of the centralized solver Choco, but it implements a model to solve DCR problems with local complex problems (i.e. multiple variables per agent) by using Choco as local solver to each agent. Communication is performed via the Simple Agent Communication Infrastructure (SACI) if agents are implemented on different Java Virtual Machine (JVM). Otherwise (agents are simulated by java threads on a single JVM) the communication is performed via a local communication simulator.

If you use DisChoco for your research you can use the following BibTeX entry to reference it in your publications DisChoco2.bib:

% DCR'11 DisChoco2
 author = {Wahbi, Mohamed and Ezzahir, Redouane and Bessiere, Christian and Bouyakhf, El Houssine},
 title = {DisChoco 2: A Platform for Distributed Constraint Reasoning},
 booktitle = {Proceedings of the IJCAI'11 workshop on Distributed Constraint Reasoning},
 series = {DCR'11},
 pages = {112--121},
 address = {Barcelona, Catalonia, Spain},
 url = {http://dischoco.sourceforge.net/},
 year = {2011},