Maneira fácil de imprimir a solução completa (todas as variáveis de decisão) no minizinc

A especificação de zinco diz o seguinte: Se nenhum item de saída estiver presente, a implementação deve imprimir todas as variáveis globais e seus valores em um formato legível. No entanto, isso não parece funcionar com o minizinc versão ...