Skip to content

sdiehl/egg-sandwich

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Egg Sandwich

Egg Sandwich demonstrates the use of the Egg library for term rewriting. This project showcases how to define an expression language, implement custom analyses like constant folding, and apply rewrite rules to simplify mathematical expressions.

Prerequisites

Ensure you have Rust installed. If not, install it from rust-lang.org.

Build the Project

cargo build

Run the Project

cargo run

About

Examples of using egraphs for term-rewriting

Topics

Resources

Stars

Watchers

Forks

Languages