search

simon-stahlberg / mimir

GNU General Public License v3.0
13 stars 7 forks source link

Continue with SCC Abstraction #10

Closed morxa closed 3 months ago

morxa commented 3 months ago

Compute the pruning strategy by conjoining all reachable SCCs.