egoversion

Ego (EGraphs OCaml) is extensible EGraph library for OCaml

Ego is an exensible egraph library for OCaml loosely based on the egg library in Rust.

AuthorKiran Gopinathan
LicenseGPL-3.0-or-later
Published
Homepagehttps://gitlab.com/gopiandcode/ego
Issue Trackerhttps://gitlab.com/gopiandcode/ego/issues
Maintainerkirang@comp.nus.edu.sg
Dependencies
Source [http] https://github.com/verse-lab/ego/archive/refs/tags/0.0.6.tar.gz
sha256=770f617799a51e282e82e055d4a715328001e7208deaf92bc1ae5710c34dcaf3
md5=016028a0dcd7a8cef864b20879baf9dd
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ego/ego.0.0.6/opam
No package is dependent