Update - #260

Open

nanocoh wants to merge 8 commits into

mainfrom

Commits on Sep 29, 2026

Commits on Sep 30, 2026

Document the prime implicant merging strategy
nanocoh
committed
6fc5849
Regenerate the CNF references for the prime implicant form
nanocoh
committed
12c23d2

Commits on Oct 1, 2026

Prove internal relations structurally before solving
nanocoh
committed
f3a2f81
Scale the PDR singleton budget for designs with few outputs
nanocoh
committed
7771604