search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Loop invariant detection #378

Closed clyben closed 7 months ago