Open Simontwice opened 1 year ago
Allow specification of the number of cores to be used during a Sledgehammer call
Allow specification of the number of cores to be used during a Sledgehammer call