structural_simplify cannot deal with algebraic equations of array variables
#13299
Triggered via issue
January 8, 2025 10:23
AayushSabharwal
Status
Skipped
Total duration
3s
Artifacts
–