Repository navigation

GH-148: stabilizer-overlap propagator as the MaxSAT default (-stab-overlap=auto) - #158

Merged

guluchen merged 8 commits into

mainfrom

experiment/gh-148-stab-overlap

Oct 29, 2026

Merged

GH-148: stabilizer-overlap propagator as the MaxSAT default (-stab-overlap=auto)#158
guluchen merged 8 commits into
mainfrom
experiment/gh-148-stab-overlap

Commits on Oct 23, 2026
- GH-148: stabilizer-overlap dominance constraints in the MaxSAT split (-stab-overlap=off|on|auto, default off)
  
  authored and
  yfc
  committed
  950d24a
- GH-148: native overlap propagator in MaxCDCL (default encoding), S0 data
  
  authored and
  yfc
  committed
  2b297b5
- GH-148: Tier 0-4 data (tests, identity, tier0 answers, 5-seed panels)
  
  authored and
  yfc
  committed
  9848360
- GH-148: status note (paused by PI before the Tier 5 evaluation)
  
  authored and
  yfc
  committed
  bb72973
Commits on Oct 28, 2026
- GH-148: Tier 5 (54 cells x 6 h) and final report
  
  authored and
  yfc
  committed
  239c230
- GH-148: merge origin/main (e52d15b + HGP matrix library) into the branch
  
  authored and
  yfc
  committed
  bac9d9d
- GH-148: make -stab-overlap=auto the MaxSAT default (draft adoption, PI decides)
  
  authored and
  yfc
  committed
  0574792
- GH-148: 5-seed TN check (TN_216 regression confirmed), Tier 0 after the main merge, diagnosis
  
  authored and
  yfc
  committed
  c73786c