A Multicore Tool for Constraint Solving