bumping version number by 1 for release tagging

Signed-off-by: Nikolaj Bjorner <[email protected]>

Official release Z3 4.6.0

Official release Z3 4.5.0

Official release Z3 4.4.1

Last known pure (Microsoft-only) source in the unstable branch.

Last known pure (Microsoft-only) source in the pure branch.

Official release binary Z3 4.4.0 (Windows x86 and x64).

Z3 4.3.2

fixed clang++ for linux

Signed-off-by: Leonardo de Moura <[email protected]>

Display version number using new format

Signed-off-by: Leonardo de Moura <[email protected]>