Minizinc print

Minizinc is a constraint modelling language that is used to solve optimization problems. This language provides a set of built-in functions to work with integer and boolean variables, arrays, and sets. One of the most useful functions in Minizinc is print. In this article, we will discuss the print function in detail.

What is the print function?

The print function is used to print the value of a constraint expression or a variable to the output console. This function takes one argument that can be of any type. The output of the print function is a string representation of the argument.

Syntax of the print function

The syntax of the print function is as follows:

print( expression );

Examples

Here are some examples of using the print function in Minizinc:

int: x = 3;
float: y = 4.5;
array [1..3] of int: a = [1,2,3];
set of int: s = {1,2,3};

print("Hello, World!");
print("The value of x is ", x);
print("The value of y is ", y);
print("The value of a is ", a);
print("The value of s is ", s);

The output of the above code will be:

Hello, World!
The value of x is 3
The value of y is 4.5
The value of a is [1, 2, 3]
The value of s is {1, 2, 3}

Conclusion

In conclusion, the print function in Minizinc is a useful tool for debugging and displaying the values of expressions and variables in the solver output. It can take any expression of any type as its argument and provides a string representation of the argument as its output. By using the print function in combination with other functions and constraints in Minizinc, programmers can efficiently model and solve a wide range of optimization problems.