egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Implement cost model #456

Closed Alex-Fischman closed 5 months ago

Alex-Fischman commented 5 months ago

Implements a cost model for all constructors and relations and datatypes using a match statement and a trait.

It is concerning to me that none of the snapshots changed, but maybe it's fine.