Solver for HT