A multicore tool for constraint solving