| ID | 464158 | ||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | yices-2.6.4-8.fc39 | ||||||||||||||||||||||||||
| Name | yices | ||||||||||||||||||||||||||
| Version | 2.6.4 | ||||||||||||||||||||||||||
| Release | 8.fc39 | ||||||||||||||||||||||||||
| 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-13 01:58:58 GMT | ||||||||||||||||||||||||||
| Size | 1.56 MB | ||||||||||||||||||||||||||
| 70582f2c5083eadf877baf88e9cc59be | |||||||||||||||||||||||||||
| License | GPL-3.0-or-later and BSD-3-Clause | ||||||||||||||||||||||||||
| Buildroot | f39-build-2233042-53355 | ||||||||||||||||||||||||||
| 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 | ||||||||||||||||||||||||||
