GitHub repository: jungnitz/eggmock
Primary language: Rust
Description: combining egg and mockturtle for e-graph rewriting of logic networks