【发布时间】：2025-11-30 05:35:01
【问题描述】：
我正在与 Minizinc 一起做一个高中日程安排项目。我有一个字符串类型的教师、班级、房间、时间和事件的列表和一个整数类型的持续时间列表。我在 * 上发现我需要用数字表示这些数据，但我的数据很大。如果不手动转换它们中的每一个，我该如何解决这个问题？ 谢谢
【问题讨论】：
标签： minizinc
【发布时间】：2025-11-30 05:35:01
【问题描述】：
很遗憾，MiniZinc 没有任何工具可以将字符串转换为适当格式的数据，所以恐怕您必须使用 MiniZinc 之外的工具进行转换。
如果您了解任何高级编程语言，例如 Perl、Python 或 Ruby，应该不会太难。
【讨论】：
-
非常感谢您的及时回复，我会想办法转换数据的。