New version: Metatheory v0.4.0

[JuliaRegistrator]

• Registering package: Metatheory
• Repository: https://github.com/0x0f0f0f/Metatheory.jl
• Created by: @0x0f0f0f
• Version: v0.4.0
• Commit: 1eac7a4d56557174cc3f55a99081099efb14116b
• Reviewed by: @0x0f0f0f
• Reference: JuliaSymbolics/Metatheory.jl@1eac7a4#commitcomment-51920258
• Release notes:

Completely renewed the pattern matcher! MT is now dozens of times faster than before. Added reports about equality saturation results, many more parameters, improved schedulers. Completely changed the metadata system. Added a new interface for rewriting on custom types, and added a custom interface for building patterns and rules programmatically.

[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.

[giordano]

@0x0f0f0f please see the message above. Once you fix the automerge issues you can register again the new revision without changing the version number and this pull request will be automatically updated.

[noblock]