z3
No description set
- Developed at devel:tools:statica
- Sources inherited from project openSUSE:Factory
-
2
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Backports:SLE-15-SP4:FactoryCandidates/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 (dimstar_suse)
accepted
request 1093226
from
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
It seems the python module only works when z3-devel is also installed, maybe add this as a requirement?