search

taktoa / eqsat

A language-generic implementation of equality saturation in Haskell
Other
21 stars 3 forks source link
compiler equality-saturation haskell optimization term-indexing theorem-prover

readme

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.