package ego

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

Install

Dune Dependency

Authors

Maintainers

Sources

ego-0.0.5.tar.gz
sha256=0533ac53a0e7bb4af8b5307f26975f2d65b6812e187743e516967c73b8cb543d
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

OCaml

Innovation. Community. Security.