DisChoco is a Java library platform for solving Distributed Constraints Reasoning (DCR) problems developed by Redouane Ezzahir and Mohamed Wahbi.