Skip to content

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

GH-148: 5-seed TN check (TN_216 regression confirmed), Tier 0 after t…

c73786c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar