fix: blacklist highs 1.14.0

[coroa]

Closes#648 and #646 .

Changes proposed in this Pull Request

Highs 1.14.0 is producing wrong results (due to broken presolve) and crashes on certain Windows machines.

Typing overloads for expressions.merge.

The version constraints for individual solvers to python<=1.12 were relaxed.

Checklist

• Code changes are sufficiently documented; i.e. new functions contain docstrings and further explanations may be given in doc.
• Unit tests for new features were added (if applicable).
• A note for the release notes doc/release_notes.rst of the upcoming release is included.
• I consent to the release of this PR's code under the MIT license.

[maurerle]

Maybe add 7c323f5 to this PR so that the CI runs through..? Or just merge this, and #647 afterwards

[FBumann]

@coroa Could we use a more expressive name for ExpVarDs? I think it would really help readability.

[FBumann]

If we merge this, we should remove this line again in #647

[coroa]

Yes, please

[coroa]

@coroa Could we use a more expressive name for ExpVarDs? I think it would really help readability.

I was going for ExpressionLike but that was already taken. Suggestions?

[FBumann]

@coroa Could we use a more expressive name for ExpVarDs? I think it would really help readability.

I was going for ExpressionLike but that was already taken. Suggestions?

I Don't have a good suggestion either. As it's purely internal and pretty local it's not really important anyway...

[coroa]

@coroa Could we use a more expressive name for ExpVarDs? I think it would really help readability.

I was going for ExpressionLike but that was already taken. Suggestions?

I Don't have a good suggestion either. As it's purely internal and pretty local it's not really important anyway...

found a good compromise. now the test failures

[FBumann]

@coroa
I like Mergeable
It tells that's it's tightly coupled to that one method