minizinc - 大きな文字列データを使用した minizinc 制約の解決

Question

私は Minizinc で高校のスケジューリング プロジェクトに取り組んでいます。文字列型の教師、クラス、部屋、時間、およびイベントのリストと、整数型の期間のリストがあります。これらのデータを数値で表す必要があることをスタックオーバーフローで見つけましたが、データが大きいです。それぞれを手動で変換せずにこれを行うにはどうすればよいですか? ありがとうございました

Answer 1

残念ながら、MiniZinc には文字列を適切な形式のデータに変換するツールがないため、MiniZinc 以外のツールで変換する必要があります。

Perl、Python、Ruby などの高度なプログラミング言語を知っていれば、それほど難しいことではありません。