StackOverflow Questions for Tag: flatzinc
Max Ostrowski
Reputation: 623
How to produce a reified `array_int_maximum` in Flatzinc output?
Score: 0
Views: 79
Answers: 1
Patrick Trentin
Reputation: 7342
Are half-reified predicates considered part of the standard?
Score: 2
Views: 58
Answers: 1
Patrick Trentin
Reputation: 7342
reified and half-reified predicates
Score: 3
Views: 308
Answers: 1
Francesco Contaldo
Reputation: 35
MiniZinc-Gurobi different results on the same problem but with different domains variable
Score: 1
Views: 283
Answers: 0
Francesco Contaldo
Reputation: 35
Do Gecode and G12 (MIP) use infinite precision arithmetic?
Score: 1
Views: 100
Answers: 1
Patrick Trentin
Reputation: 7342
What are these `float_div` and `float_times` constraints in the FlatZinc file?
Score: 1
Views: 180
Answers: 1
Patrick Trentin
Reputation: 7342
How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?
Score: 1
Views: 154
Answers: 1
Patrick Trentin
Reputation: 7342
How to propagate set of int domains during mzn2fzn conversion?
Score: 1
Views: 192
Answers: 2
Patrick Trentin
Reputation: 7342
What is an instance of Option Type at parsing time?
Score: 0
Views: 106
Answers: 1
Patrick Trentin
Reputation: 7342
fzn2smt solver answers with `unknown` on tested formulas
Score: 1
Views: 118
Answers: 1