Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations - View it on GitHub