Zaslat SMS: PANDA: a software for polyhedral transformations