Automating Symmetry-Breaking Calculations