首页
标签
mzn2fzn
MiniZinc 中的最小和最大浮点值
Gecode 和 G12 (MIP) 是否使用无限精度算法？
FlatZinc 文件中的这些“float_div”和“float_times”约束是什么？
如何通过非标准 FlatZinc 扩展获得有理数的精确无限精度表示？