用于实数的CLPFD
提问于 2014-07-10 23:45:13
CLP(FD)允许用户为每个想要的整数变量设置域，因此它能够求解方程。
到目前一切尚好。
但是，在CLP(R)或类似的语言中，您不能这样做(在这种语言中，您只能进行简单的推断)。不难理解为什么:一个数字的分数部分可能有一个几乎无限的区域，被一个实现限制所压缩。这意味着搜索空间太大，无法用于处理浮点数(如整数)的求解器。因此，用户的任务是在CLP(R)中编写生成器，并在需要时设置约束保护，以便将变量实例化为数字(如果不可能进行简单的推断)。
那么，我在这里的问题是:在reals上是否存在中电(FD)-like语言？我认为它可以通过数字四舍五入、搜索和增量逼近来实现。
回答 2
Stack Overflow用户
回答已采纳
发布于 2014-07-11 09:13:44
Stack Overflow用户
发布于 2014-07-11 06:57:38
对你问题的回答是肯定的。这里有专门用于浮点数的基于约束的求解器。我没有求解者的列表，但我知道ibex http://www.ibex-lib.org是一个允许使用浮点数的库。您还应该了解Solvers实现实理论(http://smtlib.cs.uiowa.edu/solvers.shtml)的过程.
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/24692567
复制
腾讯云开发者
