perf: encode shared constraints with an auxiliary variable per version set#236

baszalmstra wants to merge 1 commit into

prefix-dev:mainprefix-dev/resolvo:mainfrom

baszalmstra:claude/tseitin-constrains-encoding-q1d110baszalmstra/resolvo:claude/tseitin-constrains-encoding-q1d110Copy head branch name to clipboard