mem_t no longer a template of solvers. ufff...