TechQA.

Question

fzn2smt solver answers with `unknown` on tested formulas

score 128 · Answer 1 · 2024-09-09 22:09:22

fzn2smt solver answers with `unknown` on tested formulas

score 145 · Answer 2 · 2024-09-07 19:43:54

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

score 182 · Answer 3 · 2024-09-07 19:35:20

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

score 82 · Answer 4 · 2024-09-07 19:26:02

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

score 244 · Answer 5 · 2024-09-07 18:58:29

244 views Asked by Patrick Trentin At 07 September 2024 at 18:58

score 63 · Answer 6 · 2024-09-07 19:23:20

Are half-reified predicates considered part of the standard?

score 103 · Answer 7 · 2024-09-18 17:46:51

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

score 270 · Answer 8 · 2024-09-13 12:30:32

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

score 112 · Answer 9 · 2024-09-20 21:56:20

What is an instance of Option Type at parsing time?

score 190 · Answer 10 · 2024-09-07 19:26:02

How to propagate set of int domains during mzn2fzn conversion?

List Question