| Name : libz3-4_4_2_1
| |
| Version : 4.4.2.1.git.20161013
| Vendor : obs://build_opensuse_org/home:geewass
|
| Release : 8.1
| Date : 2017-12-03 06:55:19
|
| Group : System/Libraries
| Source RPM : angr-z3-4.4.2.1.git.20161013-8.1.src.rpm
|
| Size : 19.18 MB
| |
| Packager : (none)
| |
| Summary : Library for the Z3 SMT theorem prover, customized for angr
|
Description :
Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates
several decision procedures.
This subpackage contains the Z3 runtime library needed for Z3 and
other projects.
This build of Z3 contains extra patches for use with angr.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/geewass:/python/openSUSE_Leap_42.3/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
libz3-4_4_2_1
libz3-4_4_2_1(x86-64)
libz3.so.4.4.2.1()(64bit)
Requires :
