Highs Support in aos/obbt.py #24
Description
11 of the present tests in aos/tests/test_obbt.py break when using Highs as the solver with the identical error message:
FAILED aos/tests/test_obbt.py::TestOBBTUnit::test_obbt_mip_0_highs - TypeError: LegacySolverWrapper.solve() got an unexpected keyword argument 'warmstart'