Added ISAT based on ISATLib (by M. Bracconi)