libhighs-dev
highs