Overview Repositories Revisions Requests Users Attributes Meta

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.

  • Devel package for openSUSE:Factory
  • 1 derived packages
  • Links to openSUSE:Factory / z3
  • Download package
  • osc -A https://api.opensuse.org checkout devel:tools:statica/z3 && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
_link 0000000124 124 Bytes
z3-4.8.15.tar.gz 0005213633 4.97 MB
z3.changes 0000059065 57.7 KB
z3.spec 0000003155 3.08 KB
Revision 82 (latest revision is 101)
Jiri Slaby's avatar Jiri Slaby (jirislaby) accepted request 970179 from Ferdinand Thiessen's avatar Ferdinand Thiessen (susnux) (revision 82) 
- Update to 4.8.15:
  * Fix solution soundness bug on QF_ABV formula undetected by
    model validator
  * Various other bug fixes
Comments 0
openSUSE Build Service is sponsored by
Places