Skip to content

feat: enable inline linear SCCs by default - #53

Open
AayushSabharwal wants to merge 2 commits into
mainfrom
as/default-inline-scc
Open

feat: enable inline linear SCCs by default#53
AayushSabharwal wants to merge 2 commits into
mainfrom
as/default-inline-scc

fix: single-equation linear SCCs have to respect `allow_symbolic`

e8b26c3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar