Metatheory.jl icon indicating copy to clipboard operation
Metatheory.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaSymbolics

E-Graph intersection

Open 0x0f0f0f opened this issue 4 years ago • 4 comments

https://gitlab.com/remywang/blog/-/blob/master/posts/egraph-inter.md

0x0f0f0f avatar Sep 08 '21 10:09 0x0f0f0f

@MrVPlusOne this may be useful for your program synthesis use case

0x0f0f0f avatar Sep 08 '21 16:09 0x0f0f0f

Thanks for sharing!

MrVPlusOne avatar Sep 08 '21 16:09 MrVPlusOne