Skip to content

Tags: pysmt/z3

Tags

z3-4.4.0

Toggle z3-4.4.0's commit message 
Official release binary Z3 4.4.0 (Windows x86 and x64).

known-pure

Toggle known-pure's commit message 
This version is the latest code that is known to be pure, MSFT-only c…

…ode.

z3-4.3.2

Toggle z3-4.3.2's commit message 
Z3 4.3.2

z3-4.3.1

Toggle z3-4.3.1's commit message 
fixed clang++ for linux

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

z3-4.3.0

Toggle z3-4.3.0's commit message 
Display version number using new format

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

z3-4.1.1

Toggle z3-4.1.1's commit message 
update_api script for Linux/OSX

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