Add Assumption wildcard

egraphs-good / eggcc

MIT License

51 stars 11 forks source link

Closed clyben closed 6 months ago

clyben commented 6 months ago

Add an Assumption wildcard for query so no need to construct the Assumption in testing.