search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Assume schema interpreter #325

Closed oflatt closed 7 months ago

oflatt commented 7 months ago

Diff: https://github.com/egraphs-good/eggcc/compare/oflatt-assume-sugar..oflatt-assume-interpreter

oflatt commented 7 months ago

trying again on this PR due to git history issues