Zaslat SMS: Circuit analysis by computer: from algorithms to package