egg 是一个灵活、高性能的 e-graph 库
egg 是一个用于 e-graphs 和等价饱和的库。可以用于构建程序优化器、合成器、验证器等。更多信息请参阅以下资源：
您是否使用了 egg？请使用此 BibTeX 引用 并将您的项目添加到 "Awesome E-graphs" 页面 ！
运行 cargo test 将运行测试。有些测试可能会超时;如果发生这种情况,请尝试运行 cargo test --release。tests 目录中有一些有趣的测试:
[dependencies]
暂无开放 Issues，或尚未同步最近议题。