search

egraphs-good / egglog

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

Remove unused options #430

Closed Alex-Fischman closed 1 month ago

Alex-Fischman commented 1 month ago

This PR removes options that don't do anything. We can add them back later if we need them.

Alex-Fischman commented 1 month ago

Closing as a worse duplicate of #428