Do Gecode and G12 (MIP) use infinite precision arithmetic?
Question
我只想知道这两个MiniZinc求解器是否默认都使用无限精度算法。
1 answers
solution1
2 ACCPTED 2018-12-28 02:59:05
Neither Gecode nor the G12 solvers support infinite precision. Both these solvers and all other MiniZinc solvers that I'm aware of only support floating point arithmetic. This is partially because the MiniZinc compiler does not have support for infinite precision, (see How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension? ).
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.
Related Question
How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?
Minizinc, Gecode, how to get an identical solutions across distributed servers, with multi-solution model?
Call gecode from Java using MiniZinc model
infinite value while using cumulative constraint
Error: Gecode: Float::linear: Number out of limits
What is the use of minizinc fix function?
What does the impact search annotation do in MiniZinc?
Cardinality constraint type failure; how to use minizinc `card` correctly
Want caculate the n-th largest value in an array Use Minizinc
Problem taking infinite time to satisfy constraints and produce output
Related Tags