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://github.com/verse-lab/ego/archive/refs/tags/0.0.6.tar.gz sha256=770f617799a51e282e82e055d4a715328001e7208deaf92bc1ae5710c34dcaf3 md5=016028a0dcd7a8cef864b20879baf9dd |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ego/ego.0.0.6/opam |
No package is dependent
