search

egraphs-good / extraction-gym

benchmarking e-graph extraction
MIT License
24 stars 15 forks source link

MaxSAT Extraction #3

Closed AD1024 closed 6 months ago

AD1024 commented 1 year ago

Implementing the extraction algorithm from the EGRAPHS workshop.

Will include some benchmark workload from Glenside.

mwillsey commented 1 year ago

Sorry I just dropped a big-ish bunch of commits that change the core data structure. Hopefully it's not too bad to merge! Let me know if you have any questions/comments on the new data structure / format.

AD1024 commented 1 year ago

Sorry I just dropped a big-ish bunch of commits that change the core data structure. Hopefully it's not too bad to merge! Let me know if you have any questions/comments on the new data structure / format.

No problem! I will resolve these issues :) (a bit busy with other projects recently but I will keep working on it)

mwillsey commented 6 months ago

Closing as stale for now, feel free to re-open if something develops!