Basic components for constraint solver cooperations | Publicación