Translating textual problem descriptions into mathematical programming formulations (LP/MILP/CP), including variables, domains, constraints, global constraints, and MiniZinc/CP-SAT/Pyomo-style models