Как записать промежуточные решения в качестве вывода в командной строке Minizi c?

Question

Я запускаю модели Minizin c из командной строки и получаю окончательные решения в качестве вывода. Я знаю, что могу сделать Minizi c печать промежуточных решений в IDE. Как я могу сделать то же самое из командной строки, чтобы они печатались как выходные данные, как в IDE? Кстати, я ссылаюсь на вывод Minizin c, который печатается по умолчанию, а не на вывод (тот, который действует как print), который вы можете включить в код модели.

Answer 1

Для вывода промежуточных решений вы можете использовать флаг -a для задач оптимизации. Так, например, minizinc --solver gecode -a model.mzn data.dzn решит model.mzn с data.dzn в решателе Gecode и выведет все промежуточные решения.

Однако обратите внимание, что у флага -a есть несколько особенностей:

• -a для выполнимости выведет все решения вместо промежуточных решений. Поэтому при написании сценариев нужно быть осторожным.
• Не все решатели поддерживают флаг -a. Не все решатели будут иметь (или выводить) промежуточное решение.