z3

Edit Package z3
No description set
Refresh
Refresh
Source Files
Filename Size Changed
z3-4.13.3.tar.gz 0005583533 5.32 MB
z3.changes 0000070763 69.1 KB
z3.spec 0000003417 3.34 KB
Latest Revision
Comments 1

Lorenz Hüdepohl's avatar

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