minizinc constraint solving with large string data

懵懂的女人 提交于 2019-12-11 12:25:51

问题


I'm working on a Highschool scheduling project with Minizinc. I have a list of teachers, classes, rooms, times, and events all of type string and a list of duration of type integer. I found on stackoverflow that I need to represent these data with numbers but my data is large. How do I go about this without manually converting each one of them? Thank you


回答1:


Unfortunately, MiniZinc don't have any tools to convert strings to data in the appropriate format, so I'm afraid that you have to convert it with some tool outside MiniZinc.

If you know any high level programming languages such as Perl, Python, or Ruby it shouldn't be too hard.



来源:https://stackoverflow.com/questions/33985298/minizinc-constraint-solving-with-large-string-data

标签
易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!