egraphs-good / egglog

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

[Utility] Running multiple rulesets at once #326

Closed oflatt closed 3 months ago

oflatt commented 9 months ago

Running a two rulesets in sequence can have very different effects than running one ruleset at a time. We need a way to run two rulesets at the same time.

In general, it would be nice to be able to compose rulesets in some way. But for now, a small change that allows for running multiple rulesets would help a lot.

yihozhang commented 3 months ago

Implemented by #362