Using Z3py With Python 3.3

My Situation I've installed Microsoft Z3 (Z3 [version 4.3.0 - 64 bit]. (C) 2006) and it's pyc binaries for Python2. I've written an Python3 package which needs access to z3 functio

Solution 1:

The unstable (work-in-progress) has support for Python 3. This feature will be available in the next Z3 release (v4.3.2). In the meantime, you can build the unstable branch using the instructions found here.