Fix bugs in the constraint solver for `And` - Githubissues

egraphs-good / egglog

egraphs + datalog!

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

MIT License

445 stars 51 forks source link

Fix bugs in the constraint solver for `And` #283

Closed yihozhang closed 12 months ago