Geek Answers Handbook

An easy way to print the complete solution (all solution variables) in minizinc

The zinc spectrum says the following:

If there is no output element, the implementation should print all global variables and their values ​​in a readable format.

However, this does not work with minizinc version 1.6.0:

MiniZinc G12 Evaluation Driver, Version 1.6.0

I tried the default command (minizinc) and mzn-gecode.

I would really like to avoid repeating all variable names in the output expression. I really want all the decision variables to be output in some kind of structured format (e.g. YAML), but I would decide to somehow avoid this repetition.

To clarify: my model does not match typical CSP examples, for example. there is no large array or matrix. This is just a fairly large (in relative terms) set of individual decision variables.

EDIT: error created .

EDIT2: The bug is now fixed in the minizinc 2.0 git repository so that it matches the specification.

+4
source share
1 answer

What I know, all FlatZinc solvers simply show "----------" for each solution when there is no specific output element in the model. It seems that the specification is wrong / outdated in this part.

( ) . MiniZinc , , ( ). , , .

, ( " " MiniZinc, http://www.minizinc.org/g12_www/zinc/) , , .. , . , , MiniZinc .

+2

More articles:


All Articles