This package contains the class to install the SML Heap Image of the LySa tool.