search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

[Tree assume] Add `BodyContains` #339

Closed rtjoa closed 7 months ago

rtjoa commented 7 months ago

Add IsValid to tree-assume. See #226.

PR stack:

  1. 336

  2. 337

  3. 340

  4. 338

  5. 339