大字符串数据的minizinc约束求解

Question

我正在与Minizinc合作一个高中日程安排项目。我有一个老师、班级、房间、时间和事件的列表，所有这些都是字符串类型的，还有一个integer类型的持续时间列表。我在stackoverflow上发现，我需要用数字来表示这些数据，但我的数据很大。如果不手动转换它们中的每一个，我该如何处理？感谢

Answer 1

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

如果你知道任何高级编程语言，比如Perl、Python或Ruby，那应该不会太难。