egglog

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

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

Tokens:9,058
Snippets:95
Trust Score:7.1
License:MIT
Update:1 month ago
Tokens:
Raw