I recommend `egglog` which is Datalog + Equality Saturation. It has python bindings and has allowed me to optimize programs in a custom programming language. h

I recommend `egglog` which is Datalog + Equality Saturation. It has python bindings and has allowed me to optimize programs in a custom programming language. https://egg-smol-python.readthedocs.io/en/latest/ https://egg-smol-python.readthedocs.io/en/latest/