Modular Constraint Solver Cooperation via Abstract Interpretation