Спецификация цинка говорит это:

Если элемент вывода отсутствует, реализация должна распечатать все глобальные переменные и их значения в удобочитаемом формате.

Однако это не похоже на работу с минизинкой версии 1.6.0:

Оценочный драйвер G12 MiniZinc, версия 1.6.0

Я пробовал команду по умолчанию (minizinc) и mzn-gecode.

Я действительно хотел бы избежать повторения всех имен переменных в выходном выражении. Что ядействительно хочу, чтобы все переменные решения выводились в некотором структурированном формате (например, YAML), но я бы предпочел способ избежать этого повторения.

Чтобы уточнить: моя модель не соответствует типичным примерам CSP, например нет большого массива или матрицы. Это просто довольно большой (в относительном выражении) набор отдельных переменных решения.

РЕДАКТИРОВАТЬ: ошибкасозданный.

EDIT2: теперь исправлена ​​ошибка в git-репозитории minizinc 2.0, поэтому она соответствует спецификации.