Uploaded at May 6 20:15:48 2022 (UTC)
Succesfully tested at Dec 2 05:38:36 2023

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