Using Z3Py With Python 3.3 -

my situation

i've installed microsoft z3 (z3 [version 4.3.0 - 64 bit]. (c) 2006) , it's pyc binaries python2.

i've written python3 package needs access z3 functionality.

in order able use pyc binaries python3 package, decompyle z3 binaries , applied 2to3.

my problem

int('string') doesn't work because z3py isn't able handle new <class 'str'> used 'string' argument:

>>> import z3; z3.int('abc')  traceback (most recent call last):   file "<stdin>", line 1, in <module>   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: <class 'typeerror'>: wrong type 

my questions

• it's little bit hacky need decompyle z3's *.pyc files first. so, there z3py source codes available?
• is there existing z3py port python3?
• any other idea how z3py run python3?

thanks. - if anything's unclear, please leave question comment.

the unstable (work-in-progress) has support python 3. feature available in next z3 release (v4.3.2). in meantime, can build unstable branch using instructions found here.