Overview Repositories Revisions Requests Users Attributes Meta

z3

Edit Package z3
No description set
  • Developed at devel:tools:statica
  • Sources inherited from project openSUSE:Factory
  • 2 derived packages
  • Download package
  • osc -A https://api.opensuse.org checkout openSUSE:Factory:PowerPC/z3 && cd $_
  • Create Badge
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 38 (latest revision is 40)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 1093226 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 38) 
- update to 4.12.2
  * remove MSF (Microsoft Solver Foundation) plugin.
  * updated propagate-ineqs tactic and implementing it as a simplifier,
    bound_simplifier.
  * add API function Z3_mk_real_int64 to take two int64 as arguments. The
    Z3_mk_real function takes integers.
  * Add _simplifiers_ as optional incremental pre-processing to solvers.
  * Optimize added to JS API.
  * SMTLIB2 proposal for bit-vector overflow predicates added.
  * bug fixes.
- add 0001-Fix-building-with-gcc-13-6723.patch
Comments 1
Lorenz Hüdepohl's avatar
Lorenz Hüdepohl (lorenz) -

It seems the python module only works when z3-devel is also installed, maybe add this as a requirement?

openSUSE Build Service is sponsored by
Places