z3

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.

Refresh
Refresh
Source Files (show merged sources derived from linked package)
Filename Size Changed
z3-4.13.3.tar.gz 0005583533 5.32 MB
z3.changes 0000070763 69.1 KB
z3.spec 0000003417 3.34 KB
Comments 0
No comments available
openSUSE Build Service is sponsored by