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
Sources
0.0.6.tar.gz
md5=016028a0dcd7a8cef864b20879baf9dd
Dependencies
odoc
with-doc
ppxlib
>= "0.22.0"
sexplib
>= "v0.14.0"
ocamldot
>= "1.1"
iter
>= "1.2.1"
containers
>= "3.4"
ocaml
>= "4.0.8"
dune
>= "2.9"
Reverse Dependencies