TechQA.

Question

How to produce a reified `array_int_maximum` in Flatzinc output?

score 150 · Answer 1 · 2021-06-30T10:59:10.637000

0

Answer

150

Views

How to produce a reified `array_int_maximum` in Flatzinc output?

150 views Asked by Max Ostrowski At 30 June 2021 at 10:59

score 116 · Answer 2 · 2020-06-04T13:49:11.580000

Are half-reified predicates considered part of the standard?

116 views Asked by Patrick Trentin At 04 June 2020 at 13:49

score 311 · Answer 3 · 2020-06-03T23:23:38.687000

reified and half-reified predicates

311 views Asked by Patrick Trentin At 03 June 2020 at 23:23

score 331 · Answer 4 · 2019-02-17T15:29:05.130000

MiniZinc-Gurobi different results on the same problem but with different domains variable

331 views Asked by Francesco Contaldo At 17 February 2019 at 15:29

score 160 · Answer 5 · 2018-12-26T10:22:43.610000

Do Gecode and G12 (MIP) use infinite precision arithmetic?

160 views Asked by Francesco Contaldo At 26 December 2018 at 10:22

score 232 · Answer 6 · 2018-12-20T23:50:38.433000

What are these `float_div` and `float_times` constraints in the FlatZinc file?

232 views Asked by Patrick Trentin At 20 December 2018 at 23:50

score 212 · Answer 7 · 2018-12-19T16:00:26.833000

How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?

212 views Asked by Patrick Trentin At 19 December 2018 at 16:00

score 243 · Answer 8 · 2017-11-08T19:06:54.033000

How to propagate set of int domains during mzn2fzn conversion?

243 views Asked by Patrick Trentin At 08 November 2017 at 19:06

score 165 · Answer 9 · 2017-11-02T14:19:02.017000

What is an instance of Option Type at parsing time?

165 views Asked by Patrick Trentin At 02 November 2017 at 14:19

score 198 · Answer 10 · 2017-09-19T13:41:11.310000

fzn2smt solver answers with `unknown` on tested formulas

198 views Asked by Patrick Trentin At 19 September 2017 at 13:41

TechQA.

List Question

How to produce a reified `array_int_maximum` in Flatzinc output?

Are half-reified predicates considered part of the standard?

reified and half-reified predicates

MiniZinc-Gurobi different results on the same problem but with different domains variable

Do Gecode and G12 (MIP) use infinite precision arithmetic?

What are these `float_div` and `float_times` constraints in the FlatZinc file?

How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?

How to propagate set of int domains during mzn2fzn conversion?

What is an instance of Option Type at parsing time?

fzn2smt solver answers with `unknown` on tested formulas

Popular Questions

Trending Questions