Giters

intsuc / egraph

An implementation of equality graph

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

egraph

About

An implementation of equality graph

License:MIT License

Languages

Language:Kotlin 100.0%