List Question
4 TechQA 2019-01-09T10:46:23.910000Minimum and Maximum float value in MiniZinc
214 views
Asked by Francesco Contaldo
Do Gecode and G12 (MIP) use infinite precision arithmetic?
160 views
Asked by Francesco Contaldo
What are these `float_div` and `float_times` constraints in the FlatZinc file?
232 views
Asked by Patrick Trentin
How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?
212 views
Asked by Patrick Trentin