A language-generic implementation of equality saturation in Haskell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
library
nix
tests
thesis
.gitattributes
.gitignore
.hlint.yaml
.stylish-haskell.yaml
LICENSE.md
README.md
Setup.hs
default.nix
eqsat.cabal

README.md

eqsat

An implementation of equality saturation in Haskell.

Compiling

If you have Nix, you can easily build this project by running nix-build ./default.nix --no-out-link -Q. This will eventually print out a store path that looks like /nix/store/<hash>-eqsat-0.1.0, which contains the libraries and executables.

Note that this will only work with Z3 version 4.6.0 or higher.