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.


Comments

Post a Comment

Popular posts from this blog

php - Wordpress website dashboard page or post editor content is not showing but front end data is showing properly -

Image
recently have uploaded wordpress site onto server. have uploaded wordpress site in sub-folder under root folder ../root(domain root folder)/wordpress (where host wordpress folder). now problem content data in page or post in dashboard of wordpress admin panel not showing - see image. but data showing in front view - see image. if not browser cache issue , not issue happened tinymce editor during upgrade; try add config file: define('concatenate_scripts', false);
Read more

How to get the ip address of VM and use it to configure SSH connection dynamically in Ansible -

i trying ip address of vm , trying use establish ssh vm. following script: --- - hosts: localhost become: yes connection: local gather_facts: false serial: 1 vars_files: - createvmvars.yml tasks: - name: gathering vm info. vsphere_guest: vcenter_hostname: "{{vcenter_hostname}}" username: "{{vcenter_username}}" password: "{{vcenter_password}}" guest: "{{guest_name}}" vmware_guest_facts: yes register: var - debug: msg="{{var.ansible_facts.hw_eth0.ipaddresses[0]}}" - name: establishing ssh connection. script: /home/shasha/devops/scripts/ssh_configure.sh "{{var.ansible_facts.hw_eth0.ipaddresses[0]}}" following content of ssh_configure.sh : #!/bin/sh ssh-keygen -t rsa ssh-copy-id $1 but when running playbook, getting following error while executing third task: error! 'var' undefined but debug module(second task) printin
Read more

javascript - Get parameter of GET request -

i make request: createxhrrequest( "get", fileurl, function( err, response ) { if( err ) { alert( "error get!" ); } alert(response); }); and full response: { "status" : "ok", "message" : "jvberi0xljqkjdduxdgkmy how can jvberi0xlj ? i try response.message , response["message"]. nothing works. just simple access this: var json = json.parse(response); json.message
Read more