用于实数的CLPFD

Question

CLP(FD)允许用户为每个想要的整数变量设置域，因此它能够求解方程。

到目前一切尚好。

但是，在CLP(R)或类似的语言中，您不能这样做(在这种语言中，您只能进行简单的推断)。不难理解为什么:一个数字的分数部分可能有一个几乎无限的区域，被一个实现限制所压缩。这意味着搜索空间太大，无法用于处理浮点数(如整数)的求解器。因此，用户的任务是在CLP(R)中编写生成器，并在需要时设置约束保护，以便将变量实例化为数字(如果不可能进行简单的推断)。

那么，我在这里的问题是:在reals上是否存在中电(FD)-like语言？我认为它可以通过数字四舍五入、搜索和增量逼近来实现。

Answer 1

至少有一些主要的中电(FD)求解者支持真实(决策)变量：

• 壁虎
• JaCoP
• ECLiPSe中电 (ic库)
• 乔科 (使用Ibex)

(前三个还支持MiniZinc中的变量浮动。)

Answer 2

对你问题的回答是肯定的。这里有专门用于浮点数的基于约束的求解器。我没有求解者的列表，但我知道ibex http://www.ibex-lib.org是一个允许使用浮点数的库。您还应该了解Solvers实现实理论(http://smtlib.cs.uiowa.edu/solvers.shtml)的过程.