首页
标签
flatzinc
半具体化的谓词是否被视为标准的一部分？
具体化和半具体化谓词
Gecode 和 G12 (MIP) 是否使用无限精度算法？
FlatZinc 文件中的这些“float_div”和“float_times”约束是什么？
如何通过非标准 FlatZinc 扩展获得有理数的精确无限精度表示？
如何在 mzn2fzn 转换期间传播一组 int 域？
解析时 Option Type 的实例是什么？
fzn2smt 求解器在测试公式中以“未知”作为答案