为什么，你可能会问？

Python sympy 符号库根据参数变量提供单个线性丢番图方程的解。例如，

{(t_0, -9*t_0 - 5*t_1 + 154, -5*t_0 - 3*t_1 + 77)}

在不担心编码细节的情况下，如何解决这样一个参数表达式系统，以将原始变量的值限制为例如大于零。

有开源产品吗？