Skip to content

feat: avoid generating a new witness when checking if linear expression is zero#7031

Merged
TomAFrench merged 4 commits intomasterfrom tf/improve-equality-acirgenJan 13, 2025

Commits

Commits on Jan 12, 2025

Commits on Jan 13, 2025