search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

[Interval Analysis] Add kirsten's peggy example and make it work #470

Closed ajpal closed 5 months ago