package ego

  1. Overview
  2. Docs
Ego (EGraphs OCaml) is extensible EGraph library for OCaml

Install

Dune Dependency

gitlab.com GPL-3.0-or-later License Edit opam file Versions (2)

Authors

  1. K
    Kiran Gopinathan

Maintainers

  1. K
    kirang@comp.nus.edu.sg

Sources

ego-0.0.5.tar.gz
md5=beeaf3fd3f9ac04c04de5f859c24702d

Description

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

Published: 30 Aug 2021

Dependencies (11)

  1. ppxlib >= "0.22.0"
  2. sexplib >= "v0.14.0"
  3. ocamldot >= "1.1"
  4. ppx_inline_alcotest >= "1.0.0"
  5. ppx_inline_alcotest >= "1.0.0"
  6. ppx_deriving >= "4.4"
  7. iter >= "1.2.1"
  8. containers-data >= "3.3"
  9. containers >= "3.3"
  10. ocaml >= "4.0.8"
  11. dune >= "2.9"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None