2
我的工作Z3PY我想知道如何限制一個公式的計算規模Z3PY方程,大小限制
v0 = Int('v0')
const = 0x12345678
I wrote this :
s.add((const*(v0 + const*(func(v0*const) - v0)) - v0) == somevalueof64bits)
我的問題是,「(常量*(V0計算+ const *(func(v0 * const) - v0)) - v0)'大於64位