A coordination-based framework for distributed constraint solving. This paper gives an overview of DICE (DIstributed Constraint Environment), a framework for the construction of distributed constraint solvers from software components in four categories: (1) variable domain types, (2) (incomplete) solvers, (3) splitting strategies, to build search trees, and (4) search strategies, to traverse these search trees. DICE is implemented using the Manifold coordination language, and coordinates the components of a distributed solver. In addition to the coordination protocols and the algorithms that they implement, the paper describes the construction of solvers both from a constraint programming and a software engineering point of view.

This software is also peer reviewed by journal TOMS.