Synopsis
Library for inductive graphs
Category
Data
Versions
3.0.0 2.0.0 1.0.0
Dependencies
base >= 3.0.0, < 4.0.0 containers >= 3.0.0, < 4.0.0
Author
Bernd Brassel <bbr@informatik.uni-kiel.de>
Maintainer
Michael Hanus <mh@informatik.uni-kiel.de>
Exported modules
Data.GraphInductive
License
BSD-3-Clause / License file
Further infos:

Uploaded at Mar 13 16:18:47 2024 (UTC)

Succesfully tested at Dec 21 04:36:44 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://github.com/curry-packages/graph-inductive.git