mim-solvers