A Framework for Cooperating Constraint Solvers - A Prototypic Implementation