This package contains the graphical user interface of the SMT backend.