Using Z3Py With Python 3.3

Question

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 a

Answer 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.