snake_mip_solver
