Information for RPM z3-4.7.1-5.fc29.src.rpm
| ID | 252811 | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | z3 | ||||||||||||||||
| Version | 4.7.1 | ||||||||||||||||
| Release | 5.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-08-21 07:35:53 GMT | ||||||||||||||||
| Size | 3.84 MB | ||||||||||||||||
| 90a8b43b2f5681af2843c478bbfd4a4e | |||||||||||||||||
| License | MIT | ||||||||||||||||
| Buildroot | f29-build-27108-14176 | ||||||||||||||||
| 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 | ||||||||||||||||
