LogoopenSUSE Build Service > Projects
Sign Up | Log In


Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates
several decision procedures: Linear real and integer arithmetic,
fixed-size bit vectors, uninterpreted functions, extensional arrays,
quantifiers and model generation.

This build of Z3 contains extra patches for use with angr.

Source Files

Filename Size Changed Actions
angr-z3- 4.28 MB over 1 year ago
angr-z3.spec 3.52 KB about 1 year ago Download File
remove-timestamp.patch 762 Bytes over 1 year ago Download File
z3.changes 4.46 KB about 1 year ago Download File

Comments for home:geewass:python (0)