Herb.jl: A Unifying Program Synthesis Library. - Tilman Hinnerichs; Reuben Gardos Reid; Jaap de Jong; Bart Swinkels; Pamela Wochner; Nicolae Filat; Tudor Magurescu; Issa K. Hanou; Sebastijan Dumancic (CoRR, 2025)