software for min/max rank feasibility problems