Skip to content

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

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

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

Annotations

2 warnings

Upload compilation report

succeeded Jan 13, 2025 in 21s