Added some new decoder solvers