Keep implications between restarts - #3209

Merged

Opt-Mucca merged 9 commits into

keep-implications-between-restarts

Aug 25, 2026

Commits on Aug 7, 2026

Change implication data structure
Opt-Mucca
committed
d2effec

Commits on Aug 8, 2026

Move back early break
Opt-Mucca
committed
c0c2c2e

Commits on Aug 10, 2026

Update comments
Opt-Mucca
committed
3736bd2

Commits on Aug 24, 2026

Merge latest into branch"
Opt-Mucca
committed
9be34fb
Add struct in for indexing
fwesselm
committed
6865c29
Add asserts
fwesselm
committed
e078ced
Merge branch 'latest' of https://github.com/ERGO-Code/HiGHS into keep-implications-between-restarts
fwesselm
committed
49df5d9
Merge branch 'keep-implications-between-restarts2' of https://github.com/fwesselm/HiGHS into keep-implications-between-restarts
fwesselm
committed
fb5626e
Stop for_each if domain infeasible
Opt-Mucca
committed
76e6732