Fix extractor nondeterminism

egraphs-good / egglog

egraphs + datalog!

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

MIT License

458 stars 54 forks source link

Closed oflatt closed 1 month ago

oflatt commented 1 month ago

The extractor iterates over the functions map, causing nondeterminism

oflatt commented 1 month ago

Also changed rulesets for less brittle future code