CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models. - Augustin Crespin; Ioannis Kostis; Hélène Verhaeghe; Pierre Schaus (CoRR, 2025)