Skip to content

fix: handle eliminated equations in inline linear SCCs appropriately#94

Merged
AayushSabharwal merged 1 commit into
mainfrom
as/fix-linear-system-reduction
Jun 4, 2026
Merged

fix: handle eliminated equations in inline linear SCCs appropriately#94
AayushSabharwal merged 1 commit into
mainfrom
as/fix-linear-system-reduction

Commits

Commits on Jun 4, 2026