Baby sledge or rubber mallet have both worked for me in the past. I've read a couple of forum posts that say "rock hard" salt shouldn't be used but I've never had any issues. Apparenlty some of the trace elements can bind together making them unavailable to corals even if they dissolve.