Simple restricted modules of non-zero level over a deformed Heisenberg-Virasoro algebra

We study representations of a deformed Heisenberg-Virasoro algebra that does not admit a triangular decomposition. Despite this, its $\mathbb{Z}$-gradation allows the classification of simple restricted modules. We show that all such modules of non-zero level arise via induction from simple modules of finite-dimensional solvable Lie algebras.