问题描述
我想简化一些公式，例如：将（a == b和b == c）转换为（a == c） 当我使用“ solve-eqs”战术时，我一无所获[[]]。
Tactic("solve-eqs")(And(a == b,b == c))
然后，我使用“ qe”战术，我得到这样的结果。
Tactic("solve-eqs")(Exists([b],And(a == b,b == c)))
# >>>[a + -1*c_ <= 0,a + -1*c <= 0]
我该怎么办？
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）