Zaslat SMS: Mechanical design synthesis with optimization applications