| ID | 574136 | ||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | yices-2.6.4-12.fc40 | ||||||||||||||||||||||||||
| Name | yices | ||||||||||||||||||||||||||
| Version | 2.6.4 | ||||||||||||||||||||||||||
| Release | 12.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-03-29 08:05:08 GMT | ||||||||||||||||||||||||||
| Size | 1.56 MB | ||||||||||||||||||||||||||
| d583b8e3dcfeefa936947cc7b5bb2aa7 | |||||||||||||||||||||||||||
| License | GPL-3.0-or-later AND BSD-3-Clause | ||||||||||||||||||||||||||
| Buildroot | f40-build-2648658-66798 | ||||||||||||||||||||||||||
| 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 | ||||||||||||||||||||||||||
