评估一阶算术公式

时间:2014-04-29 20:07:17

标签: python math logic packages arithmetic-expressions

是否有用于评估有界一阶算术公式的python包?

例如,它获得有界一阶算术表达式

>>> exp = 'forall x < z exists y < x ((2 * y + 1 = x) or (2 * y = x))'

和自由变量z的值

>>> tau = [(z,20)]

并返回其值

>>> eval(exp, tau)  
False 

1 个答案:

答案 0 :(得分:1)

也许您正在寻找的是“量词消除”。如果是这样,请查看QEPCAD。 [1]为QEPCAD创建Python接口可能比查找Python实现更容易。

[1] http://www.usna.edu/CS/~qepcad/B/QEPCAD.html