ego
Ego (EGraphs OCaml) is extensible EGraph library for OCaml
Description
Ego is an exensible egraph library for OCaml loosely based on the egg library in Rust.
Install
- Published
-
04 Nov 2021
- Authors
-
- Maintainers
-
Sources
Dependencies
odoc
with-doc
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"
Reverse Dependencies