3D Software Synthesis Driven by Constraint-Expressive Intermediate Representation