package ego
Ego (EGraphs OCaml) is extensible EGraph library for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
ego-0.0.5.tar.gz
sha256=0533ac53a0e7bb4af8b5307f26975f2d65b6812e187743e516967c73b8cb543d
md5=beeaf3fd3f9ac04c04de5f859c24702d
Description
Ego is an exensible egraph library for OCaml loosely based on the egg library in Rust.
Published: 30 Aug 2021
Dependencies (11)
-
ppxlib
>= "0.22.0" -
sexplib
>= "v0.14.0" -
ocamldot
>= "1.1" -
ppx_inline_alcotest
>= "1.0.0" -
ppx_inline_alcotest
>= "1.0.0" -
ppx_deriving
>= "4.4" -
iter
>= "1.2.1" -
containers-data
>= "3.3" -
containers
>= "3.3" -
ocaml
>= "4.0.8" -
dune
>= "2.9"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page