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
Filename Size Changed
z3-4.13.0.tar.gz 0005520232 5.26 MB
z3.changes 0000069709 68.1 KB
z3.spec 0000003297 3.22 KB
Revision 55 (latest revision is 101)
Jiri Slaby's avatar Jiri Slaby (jirislaby) accepted request 731408 from Frank Schreiner's avatar Frank Schreiner (M0ses) (revision 55)
Cleanup for changlog
Removed line containing control characters
Comments 0
openSUSE Build Service is sponsored by