Author : Hugo GUERRIER
License : MIT
Verison : 0.4a

Binaries that are mandatory to run this project

• opam : The ocaml package manager
• ocaml >= 4.13.1 : The OCaml lang
• dune : The OCaml building tool

There are also some ocaml dependencies

• alcotest : The unit test lib
• unionFind The INRIA union find ocaml lib

This installation process is optimized for Unix systems but thanks to opam it should work on every system

• (1) Install opam on your system Help
• (2) Install a correct OCaml environment. You can do this manually, but the best way to do it is to run $ opam switch create 4.13.1 (Restart your terminal)
• (3) Install dune on your system using opam $ opam install dune
• (4) Install ocaml dependencies with opam $ opam install alcotest unionFind

To perform tests on the EGG implementation simply run $ dune runtest on the project root. All tests are in the test folder, there is :

• Test for the union-find structure
• Test for the E-Graph creation
• Test for E-Class creation and manipulation
• Test for E-Node creation and manipulation