Skip to main content


Project description


z3 with some improvements:

  • Change the right shift operation on BitVec's to be logical instead of arithmetic
  • Add the ByteVec class

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for z4-solver, version 2019.10.12.2
Filename, size File type Python version Upload date Hashes
Filename, size z4_solver-2019.10.12.2-py3-none-any.whl (14.2 kB) File type Wheel Python version py3 Upload date Hashes View
Filename, size z4-solver-2019.10.12.2.tar.gz (14.0 kB) File type Source Python version None Upload date Hashes View

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring DigiCert DigiCert EV certificate Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page