[dev] Improvements to tov_solve.