Fix determinism bug from new combined ruleset code - Githubissues

egraphs-good / egglog

egraphs + datalog!

https://egraphs-good.github.io/egglog/

MIT License

459 stars 54 forks source link

Fix determinism bug from new combined ruleset code #406

Closed oflatt closed 3 months ago