Repository navigation

Aggregate implications - #3264

Merged

Opt-Mucca merged 39 commits into

latestfrom

aggregatedImplications

Sep 28, 2026

Merged

Aggregate implications#3264
Opt-Mucca merged 39 commits into
latestfrom
aggregatedImplications

Commits on Sep 2, 2026
- Add origin row to implication table
  fwesselm
  committed
  c505ba9
- Missing origin row initialization
  fwesselm
  committed
  ac4eeab
- Remove default value
  fwesselm
  committed
  bab7f47
- Add accessor methods
  fwesselm
  committed
  e47cb68
- Add reverse row map
  fwesselm
  committed
  67657ac
- Update logic for clearing
  fwesselm
  committed
  c6427a9
Commits on Sep 3, 2026
- Use resize
  fwesselm
  committed
  8986e41
- Use resize and hash tree changes
  fwesselm
  committed
  fc67bc6
- Now lifting coefficients
  fwesselm
  committed
  4d98bcb
- Add to column presolve
  fwesselm
  committed
  a4f872e
- Clean up
  fwesselm
  committed
  3272ad6
- Check if mipsolver != nullptr
  fwesselm
  committed
  998bdb7
Commits on Sep 7, 2026
- Add cliqueCover
  fwesselm
  committed
  4807ad1
- Added update of dual row bounds and also a test
  fwesselm
  committed
  68e34d0
Commits on Sep 8, 2026
- Also use implications without origin rows
  fwesselm
  committed
  ae03a76
- Merge branch 'latest' of https://github.com/ERGO-Code/HiGHS into aggregatedImplications
  fwesselm
  committed
  9ebf5d5
- Fix handling of non-model vlbs/vubs
  fwesselm
  committed
  ec3dc09
- Merge branch 'aggregatedImplications' of https://github.com/fwesselm/HiGHS into aggregatedImplications
  fwesselm
  committed
  09ffb08
- Use tightening
  fwesselm
  committed
  b4df112
- Add range check
  fwesselm
  committed
  878ec2d
- Handle infinite coefficients and bounds in minValue/maxValue
  fwesselm
  committed
  536a595
- Merge branch 'latest' of https://github.com/ERGO-Code/HiGHS into aggregatedImplications
  fwesselm
  committed
  045d142
Commits on Sep 10, 2026
- Merge branch 'latest' of https://github.com/fwesselm/HiGHS into aggregatedImplications
  fwesselm
  committed
  806c54c
- Merge branch 'aggregatedImplications' of https://github.com/fwesselm/HiGHS into aggregatedImplications
  fwesselm
  committed
  979ff25
- Use template instead of std::function
  fwesselm
  committed
  b99640b
- Move loop to aggregateVarBounds
  fwesselm
  committed
  3ade574
- Add HighsBool vector to mark rows
  fwesselm
  committed
  fb9a6e1
- Fix compiler error
  fwesselm
  committed
  1465289
Commits on Sep 11, 2026
- Merge branch 'latest' of https://github.com/ERGO-Code/HiGHS into aggregatedImplications
  fwesselm
  committed
  dfd5a8a
- Minor changes
  fwesselm
  committed
  b5f97b2
- Add changeRowLower and changeRowUpper
  fwesselm
  committed
  a33586d
Commits on Sep 22, 2026
Commits on Sep 25, 2026
- Merge branch 'latest' of https://github.com/fwesselm/HiGHS into aggregatedImplications
  fwesselm
  committed
  b8bd15f
- Fix copiler warning
  fwesselm
  committed
  fe20f52
- Skip fixed binary variables
  fwesselm
  committed
  61bca46
- Update implications after moving cuts into the cut pool
  fwesselm
  committed
  528261b
- Rename and simplify
  fwesselm
  committed
  157f63c

Commits

Commits on Sep 2, 2026

Commits on Sep 3, 2026

Commits on Sep 7, 2026

Commits on Sep 8, 2026

Commits on Sep 10, 2026

Commits on Sep 11, 2026

Commits on Sep 22, 2026

Commits on Sep 25, 2026