fix cglpk MIP solution formatting
fix testing of mip solvers
fix circular import problem
fix circular imports in java solvers
get_solver_name in double deletion