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 <leonardo@microsoft.com>

Display version number using new format

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

update_api script for Linux/OSX

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>