New version: Metatheory v2.0.0

[JuliaRegistrator]

• Registering package: Metatheory
• Repository: https://github.com/JuliaSymbolics/Metatheory.jl
• Created by: @0x0f0f0f
• Version: v2.0.0
• Commit: 27884049610fd8f7108f77de54276d21d96aab1c
• Reviewed by: @0x0f0f0f
• Reference: JuliaSymbolics/Metatheory.jl@2788404#commitcomment-98631994
• Description: General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
• Release notes:

Second stable version is out:

• New e-graph pattern matching system, relies on functional programming and closures, and is much more extensible than 1.0's virtual machine.
• No longer dispatch against types, but instead dispatch against objects.
• Faster E-Graph Analysis
• Better library macros
• Updated TermInterface to 0.3.3
• New interface for e-graph extraction using EGraphs.egraph_reconstruct_expression
• Simplify E-Graph Analysis Interface. Use Symbols or functions for identifying Analyses.
• Remove duplicates in E-Graph analyses data.

[github-actions]

Your new version pull request met all of the guidelines for auto-merging and is scheduled to be merged in the next round.

---

If you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text [noblock] in your comment.