使用大字符串数据解决minizinc约束问题

Question

我正在使用Minizinc开展Highschool调度项目。我有一个教师，班级，房间，时间和事件的列表，所有类型字符串和一个类型为整数的持续时间列表。我在stackoverflow上发现我需要用数字表示这些数据但我的数据很大。如何在不手动转换每一个的情况下解决这个问题？ 谢谢

Answer 1

不幸的是，MiniZinc没有任何工具可以将字符串转换为适当格式的数据，因此我担心你必须使用MiniZinc之外的某些工具进行转换。

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