| ID | 520112 | ||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | yices-2.6.4-9.fc40 | ||||||||||||||||||||||||||
| Name | yices | ||||||||||||||||||||||||||
| Version | 2.6.4 | ||||||||||||||||||||||||||
| Release | 9.fc40 | ||||||||||||||||||||||||||
| Epoch | |||||||||||||||||||||||||||
| Arch | riscv64 | ||||||||||||||||||||||||||
| Draft | False | ||||||||||||||||||||||||||
| Summary | SMT solver | ||||||||||||||||||||||||||
| Description | Yices 2 is an efficient SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, linear real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported). Alternatively, you can write specifications using the Yices 2 specification language, which includes tuples and scalar types. Yices 2 can also be used as a library in other software. | ||||||||||||||||||||||||||
| Build Time | 2024-01-30 07:25:49 GMT | ||||||||||||||||||||||||||
| Size | 1.56 MB | ||||||||||||||||||||||||||
| 1580a786f48cff11d708663e7eba7b02 | |||||||||||||||||||||||||||
| License | GPL-3.0-or-later and BSD-3-Clause | ||||||||||||||||||||||||||
| Buildroot | f40-build-2333951-59255 | ||||||||||||||||||||||||||
| 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 | ||||||||||||||||||||||||||
