search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

[Tree assume] Add `IsValid` #338

Closed rtjoa closed 9 months ago

rtjoa commented 9 months ago

Add IsValid to tree-assume. See #262.

PR stack:

  1. 336

  2. 337

  3. 340

  4. 338

  5. 339