hkd_solver
