package ego
Ego (EGraphs OCaml) is extensible EGraph library for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
0.0.6.tar.gz
sha256=770f617799a51e282e82e055d4a715328001e7208deaf92bc1ae5710c34dcaf3
md5=016028a0dcd7a8cef864b20879baf9dd
Description
Ego is an exensible egraph library for OCaml loosely based on the egg library in Rust.
Published: 04 Nov 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.4" -
containers
>= "3.4" -
ocaml
>= "4.0.8" -
dune
>= "2.9"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page