[英]Evaluating first-order arithmetic formulas
是否有一個用於評估有界一階算術公式的python包?
例如,它得到一個有界的一階算術表達式
>>> exp = 'forall x < z exists y < x ((2 * y + 1 = x) or (2 * y = x))'
以及自由變量z的值
>>> tau = [(z,20)]
並返回其值
>>> eval(exp, tau)
False
也許您正在尋找的是所謂的“量化消除”。 如果是這樣,請查看QEPCAD。 [1]為QEPCAD創建Python接口可能比找到Python實現容易。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.