feat: add optional `IfLifting` simplification pass#3272

Merged

ChrisRackauckas merged 3 commits intoSciML:masterfrom

AayushSabharwal:as/if-rewriting

Dec 18, 2024

Commits on Dec 17, 2024

feat: allow passing pre-computed `vars` to `observed_equations_used_by`
AayushSabharwal
committed
feat: implement `IfLifting` structural simplification pass

AayushSabharwal
and
BenChung
committed
test: add tests for if-lifting
AayushSabharwal
committed