search

egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
443 stars 51 forks source link

Switch default serialization to output all nodes #347

Closed saulshanabrook closed 8 months ago

saulshanabrook commented 8 months ago

Still keeps visualization defaults to limit for testing and to make more readable graphviz files.

Partially addresses #345