Modelling Program Spaces in Program Synthesis with Constraints. - Tilman Hinnerichs; Bart Swinkels; Jaap de Jong; Reuben Gardos Reid; Tudor Magirescu; Neil Yorke-Smith; Sebastijan Dumancic (CoRR, 2025)