https://github.com/taktoa/eqsat

A language-generic implementation of equality saturation in Haskell
https://github.com/taktoa/eqsat

compiler equality-saturation haskell optimization term-indexing theorem-prover

Last synced: 25 days ago
JSON representation

A language-generic implementation of equality saturation in Haskell

• Host: GitHub
• URL: https://github.com/taktoa/eqsat
• Owner: taktoa
• License: other
• Created: 2018-04-07T21:21:22.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-12-04T22:21:54.000Z (almost 6 years ago)
• Last Synced: 2023-10-20T23:19:40.037Z (about 1 year ago)
• Topics: compiler, equality-saturation, haskell, optimization, term-indexing, theorem-prover
• Language: Haskell
• Homepage:
• Size: 451 KB
• Stars: 19
• Watchers: 10
• Forks: 3
• Open Issues: 11
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

• awesome-egraphs - eqsat

README

        
# `eqsat`

An implementation of [equality saturation][] in Haskell.

[equality saturation]: http://www.cs.cornell.edu/~ross/publications/eqsat/

## Compiling

If you have [Nix](https://nixos.org/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/-eqsat-0.1.0`, which contains

the libraries and executables.

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