TechQA.

Question

fzn2smt solver answers with `unknown` on tested formulas

score 190 · Answer 1 · 2017-09-19 13:41:11

1

Answer

190

Views

fzn2smt solver answers with `unknown` on tested formulas

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

score 207 · Answer 2 · 2018-12-19 16:00:26

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

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

score 229 · Answer 3 · 2018-12-20 23:50:38

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

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

score 144 · Answer 4 · 2021-06-30 10:59:10

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

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

score 304 · Answer 5 · 2020-06-03 23:23:38

reified and half-reified predicates

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

score 109 · Answer 6 · 2020-06-04 13:49:11

Are half-reified predicates considered part of the standard?

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

score 154 · Answer 7 · 2018-12-26 10:22:43

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

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

score 322 · Answer 8 · 2019-02-17 15:29:05

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

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

score 160 · Answer 9 · 2017-11-02 14:19:02

What is an instance of Option Type at parsing time?

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

score 237 · Answer 10 · 2017-11-08 19:06:54

How to propagate set of int domains during mzn2fzn conversion?

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

TechQA.

List Question

fzn2smt solver answers with `unknown` on tested formulas

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

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

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

reified and half-reified predicates

Are half-reified predicates considered part of the standard?

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

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

What is an instance of Option Type at parsing time?

How to propagate set of int domains during mzn2fzn conversion?

Popular Questions

Popular Tags

Trending Questions