search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Assume schema interpreter #319

Closed oflatt closed 9 months ago

oflatt commented 9 months ago

closing- will make a new PR for this