Uploaded at Jul 7 15:24:30 2021 (UTC)
Succesfully tested at Mar 13 04:16:57 2024

Curry Package graph-inductive

graph-inductive: Libraries for dealing with inductive graphs

This package contains a library for inductive graphs, i.e., where graphs are composed and decomposed in an inductive way.

This is a port of a Haskell library by Martin Erwig.

Download

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