search

jump-dev / HiGHS.jl

A Julia interface to the HiGHS solver
https://highs.dev
MIT License
104 stars 14 forks source link

Add support for MOI.INFEASIBILITY_CERTIFICATE #26

Closed odow closed 3 years ago

odow commented 3 years ago

https://github.com/jump-dev/HiGHS.jl/blob/41a90385341d03ef255be661d875f57a2633b633/test/MOI_wrapper.jl#L16-L17

Currently blocked upstream. Needs new release of HiGHS_jll which will expose Highs_getDualRay and Highs_getPrimalRay.