List Question
10 TechQA 2017-09-19 13:41:11fzn2smt solver answers with `unknown` on tested formulas
198 views
Asked by Patrick Trentin
How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?
211 views
Asked by Patrick Trentin
What are these `float_div` and `float_times` constraints in the FlatZinc file?
232 views
Asked by Patrick Trentin
How to produce a reified `array_int_maximum` in Flatzinc output?
149 views
Asked by Max Ostrowski
reified and half-reified predicates
310 views
Asked by Patrick Trentin
Are half-reified predicates considered part of the standard?
115 views
Asked by Patrick Trentin
Do Gecode and G12 (MIP) use infinite precision arithmetic?
159 views
Asked by Francesco Contaldo
MiniZinc-Gurobi different results on the same problem but with different domains variable
330 views
Asked by Francesco Contaldo
What is an instance of Option Type at parsing time?
165 views
Asked by Patrick Trentin
How to propagate set of int domains during mzn2fzn conversion?
243 views
Asked by Patrick Trentin