Uploaded at May 6 22:15:48 2022
Succesfully tested at Nov 29 08:59:05 2022

Curry Package scc

scc

This package provides a library Data.SCC to compute strongly connected components.

The directory examples contains some examples to compute SCCs for call graphs of functional programs.

Download

Checkout with CPM:
cypm checkout scc 3.0.0
Package source:
scc-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/scc.git