Add two new presolve techniques in combining probing and dual fixing

[ZhaoWeiWang0319]

This PR implements two presolve techniques that combine probing and dual fixing in HiGHS: dual fixing augmented probing and generalized dual fixing, described in our paper: Enhancing Presolve in Mixed Integer Programming by Combining Probing and Dual Fixing.

The first technique embeds dual fixing into the probing framework, allowing more tentative bound changes to be detected during probing. The second extends classical dual fixing and uses probing to efficiently detect additional variable fixings.

The implementation is mainly integrated into HighsDomain and HighsImplications, with two new options, presolve_dfprobing and presolve_gdf, for controlling the two techniques.

Note that compared with our implementation of the paper in here, the code is re-implemented so that
(1) the changes on existing HiGHS are minimal, and
(2) it is consistent with current HiGHS architecture, as HiGHS continues to evolve with many new features and improvements.

We greatly appreciate the continued development and maintenance of HiGHS and hope these techniques can provide a useful addition to the presolve framework. We would be very happy to contribute this work to the HiGHS community and welcome any feedback or suggestions!

[jajhall]

Thanks for this. Although I appreciate that this is still only a draft PR, I hope that @Opt-Mucca and @fwesselm can give some initial opinions on its suitability for inclusion in HiGHS, and make an assessment of the potential performance gain.

[Opt-Mucca]

@jajhall I can look into this tomorrow.

@ZhaoWeiWang0319 thanks for responding to my email request so quickly! Do you mind if we take the code (keeping contribution for your commits) and make changes ourselves? For example, I'd probably remove presolve_gdf entirely.

[ZhaoWeiWang0319]

Thanks @jajhall, @Opt-Mucca! Not at all! Please feel free to take the code and make any changes you think are appropriate!

[codecov]

Codecov Report

❌ Patch coverage is 91.21864% with 49 lines in your changes missing coverage. Please review.
✅ Project coverage is 72.84%. Comparing base (57e5065) to head (0385e82).
⚠️ Report is 92 commits behind head on latest.

Files with missing lines	Patch %	Lines
highs/mip/HighsDomain.cpp	92.51%	28 Missing ⚠️
highs/mip/HighsImplications.cpp	84.04%	15 Missing ⚠️
highs/mip/HighsImplications.h	90.90%	4 Missing ⚠️
highs/lp_data/HighsOptions.h	66.66%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           latest    #3212      +/-   ##
==========================================
+ Coverage   72.77%   72.84%   +0.06%     
==========================================
  Files         444      444              
  Lines      107464   108020     +556     
  Branches    17288    17410     +122     
==========================================
+ Hits        78208    78686     +478     
- Misses      28979    29056      +77     
- Partials      277      278       +1     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[jajhall]

Thanks, I've merged this into the probe-dual-fix branch so that we can properly evaluate your code and determine what will be merged into latest