SymbolicUtils.jl icon indicating copy to clipboard operation
SymbolicUtils.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaSymbolics

Hash consing

Open YingboMa opened this issue 1 year ago • 1 comments

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.

YingboMa avatar Jun 12 '24 16:06 YingboMa

It's basically an e-graph and we can already use Metatheory.jl for that.

0x0f0f0f avatar Jun 28 '24 10:06 0x0f0f0f