Published 2024 | Version v2
Software Open

Fast and Optimal Extraction for Sparse Equality Graphs

  • 1. ROR icon Hong Kong University of Science and Technology

Description

Artifact for the paper "Fast and Optimal Extraction for Sparse Equality Graphs"

Please read the README.md/README.pdf file before running.

Files

oopsla24-artifact.zip

Files (11.0 MB)

Name Size Download all
md5:5122bc64f39ddf65bdb4d2563fdd3a92
11.0 MB Preview Download