Is your feature request related to a problem? Please describe.

e-graph is an important infrastructure for compiler optimisation, are you interested in publishing your related work as an infra module, like egglog?

Once it become stable enough it can serve as an accelerator for various axiomatic rewrite systems (Scala 3 implicit search, Apache Spark SQL Catalyst optimiser, etc.). It can also be sharded using Apache Spark to enable distribute saturation and guided search.

Describe the solution you'd like

If you are interested, I can start working towards a minimalistic PR shortly.

Describe alternatives you've considered

The only Scala implementation I found is LISA prover, tho it will also take some effort to use & publish (epfl-lara/lisa#226)

Additional context

The API of egglog-python can serve as a reference design specification. Comparing to the latest python, Scala is obviously less flexible but has more axiomatic reasoning capabilities. This can be played into our favour