minizinc - 用大字符串数据求解 minizinc 约束

Question

我正在与 Minizinc 一起做一个高中日程安排项目。我有一个字符串类型的教师、班级、房间、时间和事件的列表和一个整数类型的持续时间列表。我在 stackoverflow 上发现我需要用数字表示这些数据，但我的数据很大。如果不手动转换它们中的每一个，我该如何解决这个问题？谢谢

Answer 1

不幸的是，MiniZinc 没有任何工具可以将字符串转换为适当格式的数据，所以恐怕您必须使用 MiniZinc 之外的一些工具进行转换。

如果您了解任何高级编程语言，例如 Perl、Python 或 Ruby，那应该不会太难。