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.

Source Files (show merged sources derived from linked package)

Filename Size Changed Actions
_service 621 Bytes Download File
_servicedata 222 Bytes Download File
remove-timestamp.patch 811 Bytes Download File
z3-4.6.0+git.20180112.tar.xz 2.72 MB Download File
z3.changes 62.8 KB Download File
z3.spec 3.64 KB Download File

Comments for home:a_faerber:branches:devel:languages:python (0)

Login required, please login or signup in order to comment