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.
| Author | Kiran Gopinathan |
|---|---|
| License | GPL-3.0-or-later |
| Published | |
| Homepage | https://gitlab.com/gopiandcode/ego |
| Issue Tracker | https://gitlab.com/gopiandcode/ego/issues |
| Maintainer | kirang@comp.nus.edu.sg |
| Dependencies |
|
| Source [http] | https://gitlab.com/gopiandcode/ego/-/archive/0.0.5/ego-0.0.5.tar.gz sha256=0533ac53a0e7bb4af8b5307f26975f2d65b6812e187743e516967c73b8cb543d md5=beeaf3fd3f9ac04c04de5f859c24702d |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ego/ego.0.0.5/opam |
No package is dependent
