Comment by crazyedgar

I believe this is the code for their work, which I believe the authors didn't put in the paper: https://github.com/philzook58/egglog