Zaslat SMS: Active set solver for min-max robust control with state and input constraints