sci-mathematics/highs
