Questions tagged [mzn2fzn]
4 questions
1
vote
1 answer
Minimum and Maximum float value in MiniZinc
From the MiniZinc specification :
Floats represent real numbers. Float representations are implementation-defined. This means that the representable range and precision of floats is implementation-defined. However, an implementation should abort at…
Francesco Contaldo
- 35
- 2
1
vote
1 answer
Do Gecode and G12 (MIP) use infinite precision arithmetic?
I just want to know if both these two MiniZinc solver use infinite precision arithmetic by default.
Francesco Contaldo
- 35
- 2
1
vote
1 answer
What are these `float_div` and `float_times` constraints in the FlatZinc file?
I just tried to run mzn2fzn over the following MiniZinc file:
var float: x1;
var float: y1;
var float: x2;
var float: y2;
constraint (x1 / y1) = 6.0;
constraint x2 * y2 <= 5.0;
solve satisfy;
This is the resulting FlatZinc file:
var…
Patrick Trentin
- 7,126
- 3
- 23
- 40
1
vote
1 answer
How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?
By default mzn2fzn automatically computes the result of a floating point division within a MiniZinc model, and stores it as a constant float value in the resulting FlatZinc model.
Example:
The file test.mzn
var float: x;
constraint 1.0 /…
Patrick Trentin
- 7,126
- 3
- 23
- 40