GitHub repository: yihozhang/szalinski
Description: Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations