Coconut

Home

Members

Collaborations

Meetings

Softwares

Admin

DisChoco 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.
Ibex 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.
QUACQ A novel active learning tool (QUick ACQuisition) to learn constraint networks by asking the user to classify partial assignments as positive or negative.