Language.Fixpoint.Solver.Graph

Remove Constraints that don't affect Targets

slice

Predicate describing Targets

isTarget

Compute Ranks / SCCs

graphRanks

Compute Kvar dependencies

cGraph

gSccs

Kvars written and read by a constraint

kvWriteBy

kvReadBy