• z3-4.6.0-x64-debian-8.10.zip
    33.8 MB 2017-12-18T18:39:45Z
  • z3-4.6.0-x64-osx-10.11.6.zip
    27.8 MB 2017-12-18T18:39:46Z
  • z3-4.6.0-x64-ubuntu-14.04.zip
    32 MB 2017-12-21T21:26:46Z
  • z3-4.6.0-x64-ubuntu-16.04.zip
    34.3 MB 2017-12-18T18:39:44Z
  • z3-4.6.0-x64-win.zip
    11.7 MB 2017-12-18T18:39:45Z
  • z3-4.6.0-x86-ubuntu-14.04.zip
    30.3 MB 2017-12-18T18:39:45Z
  • z3-4.6.0-x86-win.zip
    9.35 MB 2017-12-18T18:39:45Z
  • Source code (zip)
    2017-12-18T18:37:55Z
  • Source code (tar.gz)
    2017-12-18T18:37:55Z