Получение вывода Minizin c в формате .txt из IDE - PullRequest
Новая
       24

Получение вывода Minizin c в формате .txt из IDE

1 голос
/ 17 апреля 2020

Представьте, что я запустил .mzn с .dzn и получил вывод в IDE следующим образом: 

Supplier01,100,100,100,100,100,100,100,100,100,100,100,100
Supplier02,200,200,200,200,200,200,200,200,200,200,200,200
Supplier03,40,49,359,834,1067,1377,334,516,761,1001,1251,1583
Supplier04,500,500,500,500,500,500,500,500,500,500,500,500
Supplier05,161,200,200,200,200,200,200,200,200,200,200,200
Supplier06,500,500,500,500,500,500,500,500,500,500,500,500
----------
==========

Можно ли как-нибудь сгенерировать этот вывод в .txt или * 1007? * файл в предпочтительном месте на моем компьютере? Я знаю, что мы можем выполнить это в командной строке, но есть ли способ сделать это самостоятельно, используя IDE?

1 Ответ

1 голос
/ 18 апреля 2020

В среде IDE MiniZin c в настоящее время нет функции экспорта решений для других приложений.

В настоящее время ожидается, что если вы захотите интегрировать MiniZin c с другими приложениями, вы будете использовать что-то вроде MiniZin c Python, iMiniZin c или инструменты командной строки для облегчения подключения. В вашем случае использование MiniZin c Python или iMiniZin c может быть хорошим решением, так как Python может генерировать CSV-файлы с использованием модуля csv. Если вы хотите видеть решение и взаимодействовать с ним, а также выводить файл csv, то iMiniZin c может предоставить в Jupyter Notebook необходимые инструменты для выполнения обоих задач.

Если вы очень довольны MiniZin c IDE и вы хотите продолжить его использование, тогда другой вариант будет просто минимизировать неудобства. Ваш оператор вывода уже предоставляет решение в стиле CSV. Таким образом, единственная оставшаяся часть - создание файла. IDE MiniZin c может открывать файлы .csv. Поэтому в этом случае я предлагаю создать пустой файл .csv, открыть его в IDE. Как только вы получите решение из своего экземпляра в окне вывода, вы копируете его прямо в файл.

...