issues
search
JuliaSymbolics
/
Metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
https://juliasymbolics.github.io/Metatheory.jl/dev/
MIT License
355
stars
46
forks
source link
Add `direct` function to convert `EqualityRule`s to `DirectRule`s
#220
Closed
nmheim
closed
2 months ago
nmheim
commented
2 months ago
TODO:
[ ] document
direct
TODO:
direct