Information for RPM z3-4.6.0-2.fc29.src.rpm
ID | 94194 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | z3 | ||||||||||||||||
Version | 4.6.0 | ||||||||||||||||
Release | 2.fc29 | ||||||||||||||||
Epoch | |||||||||||||||||
Arch | src | ||||||||||||||||
Summary | Satisfiability Modulo Theories (SMT) solver | ||||||||||||||||
Description | Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers. | ||||||||||||||||
Build Time | 2018-05-27 16:21:45 GMT | ||||||||||||||||
Size | 3.82 MB | ||||||||||||||||
38fdbeac4d0b42a182fd682216e32255 | |||||||||||||||||
License | MIT | ||||||||||||||||
Buildroot | f29-build-4952-1059 | ||||||||||||||||
Provides | No Provides | ||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||
Requires |
|
||||||||||||||||
Recommends | No Recommends | ||||||||||||||||
Suggests | No Suggests | ||||||||||||||||
Supplements | No Supplements | ||||||||||||||||
Enhances | No Enhances | ||||||||||||||||
Files |
|
||||||||||||||||
Component of | No Buildroots |