package ego

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.0.6.tar.gz
sha256=770f617799a51e282e82e055d4a715328001e7208deaf92bc1ae5710c34dcaf3
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

OCaml

Innovation. Community. Security.