egglog

https://github.com/egraphs-good/egglog

A next-generation equality saturation engine that combines the power of equality saturation and...

Tokens:10,135
Snippets:115
Trust Score:7.1
License:MIT
Update:2 weeks ago
Tokens:
Raw