||A Java library platform for Distributed Constraints
Reasoning (DCR) developed by Redouane Ezzahir and Mohamed Wahbi.
DisChoco 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.|
||An interval solver for continuous constraint systems (solving and global optimization). Gilles Trombettoni is involved in the design of filtering/contraction algorithms and optimization strategy.
||A novel active learning tool (QUick ACQuisition) to learn constraint networks by asking the user to classify partial assignments as positive or negative.