Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc Paper โข 2503.10642 โข Published Feb 22 โข 1