如何使用optaplanner求解非线性约束多变量方程-Java

我想解一个非线性多变量方程，离散值如下：

x*y + z + t - 10 = 0

有限制：

10 < x < 100

10

等等

我做了一些研究，我相信optaplanner是一个不错的选择。我从他们的网站上下载了这个软件包，但我有点迷路了

有人能告诉我如何使用optaplanner的Library编写此问题的代码吗？

您可以使用来解决此问题。我推荐一种好的LU分解方法。 还有更复杂的库，如：和

---

当然，不能保证有解。

我认为Jama只适用于线性方程组。是真的吗？是的，是真的，我更新了答案。什么是

x

，

y

，

z

和

t

？OptaPlanner支持类型、OO和多态性，那么为什么要回归到非OO模型呢？x、y、z和t是带约束的整数变量