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