Edit Package 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
z3-4.8.11.tar.gz 0004799940 4.58 MB 11 days
z3.changes 0000057815 56.5 KB 11 days
z3.spec 0000003148 3.07 KB 11 days
Comments for z3 0
openSUSE Build Service is sponsored by