Movatterモバイル変換


[0]ホーム

URL:


packagegraphlib

  1. Overview
  2. Docs

You can search for identifiers within the package.

in-package search v0.2.0

Generic Graph library

Install

Dune Dependency

Authors

Maintainers

Sources

v2.5.0.tar.gz
sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174
md5=5abd9b3628b43f797326034f31ca574f

Description

Graphlib is a generic library that extends a well known OCamlGraphlibrary. Graphlib uses its own, more reach, Graph interface thatis isomorphic to OCamlGraph'sSigs.P signature for persistantgraphs. Two functors witness the isomorphism of the interfaces:Graphlib.To_ocamlgraph andGraphlib.Of_ocamlgraph. Thanks tothese functors, any algorithm written for OCamlGraph can be used onGraphlibs graph and vice verse.

Published:14 Jul 2022

Dependencies (6)

  1. regular= "2.5.0"
  2. ocamlgraph
  3. ppx_bap
  4. oasisbuild & >= "0.4.7"
  5. core_kernel>= "v0.14" & < "v0.16"
  6. ocaml>= "4.08.0"

Dev Dependencies

None

Used by (7)

  1. bap-callgraph-collator>= "2.5.0"
  2. bap-dump-symbols>= "2.5.0"
  3. bap-optimization>= "2.5.0"
  4. bap-phoenix>= "2.5.0"
  5. bap-primus>= "2.5.0"
  6. bap-print>= "2.5.0"
  7. bap-std>= "2.5.0"

Conflicts

None


[8]ページ先頭

©2009-2025 Movatter.jp