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
0001-Fix-building-with-gcc-13-6723.patch 0000000882 882 Bytes
z3-4.12.2.tar.gz 0005401038 5.15 MB
z3.changes 0000068412 66.8 KB
z3.spec 0000003251 3.17 KB
Revision 96 (latest revision is 101)
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 96)
up to 4.12.2
Comments 0
openSUSE Build Service is sponsored by