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.12.1.tar.gz 0005470095 5.22 MB
z3.changes 0000067775 66.2 KB
z3.spec 0000003189 3.11 KB
Revision 94 (latest revision is 101)
Jiri Slaby's avatar Jiri Slaby (jirislaby) accepted request 1060179 from Dirk Mueller's avatar Dirk Mueller (dirkmueller) (revision 94) 
- update to 4.12.1:
  * change macos build to use explicit reference to Macos version 11. Hosted
    builds are migrating to macos-12 and it broke a user Issue #6539.
Comments 0
openSUSE Build Service is sponsored by
Places