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
356 stars 47 forks source link

bump TermInterface version to 0.3.3 #143

Closed shashi closed 1 year ago

0x0f0f0f commented 1 year ago

@shashi the branch https://github.com/JuliaSymbolics/Metatheory.jl/tree/2.0.0-DEV is already passing the tests.

Pinged you on slack btw