Q: What is the best way to incorporate E-graphs with DreamCoder?

[brando90]

I saw that the most recent version of the paper for dreamcoder uses E-graphs and not fragment grammars.

Thus I was wondering how E-graphs and implemented so that they work nicelty with python and deep learning frameworks.

e.g. I saw there is the EGG library with rust and hast python API. What do you think of this? egraphs-good/egg#157

[brando90]

also, as a friendly suggestion, consider opening the github discussion feature :)