package ego

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

Install

gitlab.com Edit opam file

Authors

  1. K
    Kiran Gopinathan

Maintainers

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

Sources

0.0.6.tar.gz
md5=016028a0dcd7a8cef864b20879baf9dd

Description

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

Published: 04 Nov 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.4"
  9. containers >= "3.4"
  10. ocaml >= "4.0.8"
  11. dune >= "2.9"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None