0x0f0f0f
commented
4 days ago It's basically an e-graph and we can already use Metatheory.jl for that.
Open YingboMa opened 2 weeks ago
0x0f0f0f
commented
4 days ago It's basically an e-graph and we can already use Metatheory.jl for that.
We can add a global thread-safe dictionary to de-duplicate terms in memory. This will guarantee the memory cost is the same as an efficient DAG representation while preserving the tree data structure.