Skip to content

Kimchi/Expr: combining expressions does not increase the degree#2708

Merged
dannywillems merged 1 commit intomasterfrom dw/degree-kimchi-combine-constraintsOct 15, 2024

Commits

Commits on Oct 14, 2024