LogoopenSUSE Build Service > Projects
Sign Up | Log In

z3

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 8 months ago Download File
_servicedata 222 Bytes 8 months ago Download File
remove-timestamp.patch 811 Bytes almost 2 years ago Download File
z3-4.6.0+git.20180112.tar.xz 2.72 MB 8 months ago Download File
z3.changes 62.8 KB 5 months ago Download File
z3.spec 3.64 KB 5 months ago Download File

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

Login required, please login or signup in order to comment