Использование Z3Py с Python 3.3
Моя ситуация
установил Microsoft Z3 (Z3 [version 4.3.0 - 64 bit]. (C) 2006
) И егоpyc
двоичные файлы для Python2.I '
мы написали пакет Python3, который требует доступа кz3
функциональность.
Для того, чтобы иметь возможность использоватьpyc
двоичные файлы с моим пакетом Python3, яdecompyle
z3
бинарные и прикладные.2to3
Int('string')
Безразлично»не работает, потому что Z3Py нене в состоянии справиться с новым используется в качестве
'string'
аргумент:
>>> import z3; z3.Int('abc')
Traceback (most recent call last):
File "", line 1, in
File ".\bin\z3.py", line 2931, in Int
return ArithRef(Z3_mk_const(ctx.ref(), to_symbol(name, ctx), IntSort(ctx).ast), ctx)
File ".\bin\z3.py", line 72, in to_symbol
return Z3_mk_string_symbol(_get_ctx(ctx).ref(), s)
File ".\bin\z3core.py", line 1430, in Z3_mk_string_symbol
r = lib().Z3_mk_string_symbol(a0, a1)
ctypes.ArgumentError: argument 2: : wrong type
Мои вопросыЭто'немного хакать надоdecompyle
Z3-х*.pyc
файлы в первую очередь. Итак, есть ли исходные коды Z3Py?Существует ли уже существующий порт Z3Py для Python3?Любая другая идея, как получитьZ3Py для запуска с Python3?Благодарю. - Если что-нибудь'Неясно, пожалуйста, оставьте комментарий вопроса.