A Multicore Tool for Constraint Solving

Open in new window