Are half-reified predicates considered part of the standard?...

reified and half-reified predicates...

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 Flat...

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...