package ego

Not available on OCaml 5.5
  1. Overview
  2. Docs
Ego (EGraphs OCaml) is extensible EGraph library for OCaml

Install 

dune-project
 Dependency

gitlab.com Edit opam file Versions (2)

Authors

  1. K
    Kiran Gopinathan

Maintainers

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

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.

Added to opam-repository:

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

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

Results of building ego with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.0.6 (this version) n/a good good n/a n/a
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure