Минимизация ограничений с большими строковыми данными

Question

Я работаю над проектом планирования Highschool с Minizinc. У меня есть список учителей, классов, комнат, времени и событий всех типов строки и список продолжительности типа целого числа. Я обнаружил в stackru, что мне нужно представлять эти данные числами, но мои данные большие. Как мне это сделать, не конвертируя каждый из них вручную? Спасибо

Answer 1

К сожалению, в MiniZinc нет инструментов для преобразования строк в данные в соответствующем формате, поэтому я боюсь, что вам придется конвертировать его с помощью какого-либо инструмента вне MiniZinc.

Если вы знаете языки программирования высокого уровня, такие как Perl, Python или Ruby, это не должно быть слишком сложно.