Giters

brocksam / sympy-egraph

Prototype implementation investigating use of e-graphs within SymPy

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

sympy-egraph

Prototype implementation investigating use of e-graphs within SymPy

About

Prototype implementation investigating use of e-graphs within SymPy

License:MIT License