我定义了一组20个方程，由22个变量组成。
现在，我想实现每个变量都需要具有唯一值。
我已经通过假设进行了尝试：假设（A！= B）假设（B！= C）...等等。 但这并不能解决方程式。我还尝试将这些不等式添加到方程组中，这些方程组在我的解决方案集中仍然有2个参数。
ps。我也知道每个值都是一个整数。并且最高和最低值之间的差小于某个数字（例如40）。但是我相信我已经通过以下方式正确实现了此目的：
assume(A,'integer')
assume(B,'integer')
assume(C,'integer')
...
和
assume((max_symbolic(A,B,C,...)-min_symbolic(A,...)) < 40)