Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc Paper • 2503.10642 • Published Feb 22, 2025 • 2