From d57a2a6dce9291acf9c71a561252f3e133f0c894 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 7 Nov 2016 15:32:52 +0000 Subject: [PATCH] Bumped version to 4.5.0 --- scripts/mk_project.py | 2 +- src/api/python/setup.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/mk_project.py b/scripts/mk_project.py index b18e7801b..986e92bde 100644 --- a/scripts/mk_project.py +++ b/scripts/mk_project.py @@ -9,7 +9,7 @@ from mk_util import * # Z3 Project definition def init_project_def(): - set_version(4, 4, 2, 1) + set_version(4, 5, 0, 0) add_lib('util', []) add_lib('polynomial', ['util'], 'math/polynomial') add_lib('sat', ['util']) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 95843aac0..d7d3722b3 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -139,7 +139,7 @@ class sdist(_sdist): setup( name='z3-solver', - version='4.4.2.1', + version='4.5.0.0', description='an efficient SMT solver library', long_description='Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types.\n\nFor documentation, please read http://z3prover.github.io/api/html/z3.html\n\nIn the event of technical difficulties related to configuration, compiliation, or installation, please submit issues to https://github.com/angr/angr-z3', author="The Z3 Theorem Prover Project",