search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Sugar for constructing assume terms #324

Closed oflatt closed 9 months ago

oflatt commented 9 months ago

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

oflatt commented 9 months ago

did not mean to delete