List Question
4 TechQA 2024-11-25 00:45:41How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?
142 views
Asked by Patrick Trentin
What are these `float_div` and `float_times` constraints in the FlatZinc file?
177 views
Asked by Patrick Trentin
Do Gecode and G12 (MIP) use infinite precision arithmetic?
96 views
Asked by Francesco Contaldo
Minimum and Maximum float value in MiniZinc
182 views
Asked by Francesco Contaldo