Zaslat SMS: Design analysis in rock mechanics