HMRDS Solver