标签： input minizinc
如何将txt文件或csv文件转换为MiniZinc数据文件（dzn）？
我需要处理几个excel文件，其中包括单值参数，矩阵和名称列表。目的是为小型塑料工厂建立一个排序。
感谢您的建议