e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving

Open in new window